Sung Deok
Publications by Year
Research Areas
Formal Methods in Verification, Software Testing and Debugging Techniques, Software Reliability and Analysis Research, Advanced Software Engineering Methodologies, Real-Time Systems Scheduling
Most-Cited Works
- → A test sequence selection method for statecharts(2000)93 cited
- → Integration and analysis of use cases using modular Petri nets in requirements engineering(1998)91 cited
- → Data flow testing as model checking(2003)88 cited
- → Testing of object-oriented programs based on finite state machines(2002)51 cited
- → An empirical evaluation of six methods to detect faults in software(2002)40 cited
- → Empirical evaluation of a fuzzy logic-based software quality prediction model(2002)30 cited
- FBDVerifier: Interactive and Visual Analysis of Counter-example in Formal Verification of Function Block Diagram(2010)
- → A semantics of sequence diagrams(2002)16 cited
- → Generating test sequences from a set of MSCs(2003)12 cited