Author of the publication

A Formal Specification-Based Integration Testing Approach.

, and . SOFL, volume 7787 of Lecture Notes in Computer Science, page 26-43. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Formal Definition of FRSM and Applications.. International Journal of Software Engineering and Knowledge Engineering, 8 (2): 253-281 (1998)A formal structured method for requirement specification construction.. SAC, page 1055-1063. ACM, (1992)Traceability-Based Formal Specification Inspection., and . SERE, page 167-176. IEEE, (2014)Design and Implementation of a Tool for Specifying Specification in SOFL., and . SOFL, volume 7787 of Lecture Notes in Computer Science, page 44-55. Springer, (2012)Integrating Specification-Based Review and Testing for Detecting Errors in Programs.. ICFEM, volume 4789 of Lecture Notes in Computer Science, page 136-150. Springer, (2007)Automatic Transformation from SOFL Module Specifications to Program Structures., and . SOFL+MSVL, volume 9559 of Lecture Notes in Computer Science, page 206-218. Springer, (2015)The practice of formal methods in safety-critical systems., , and . J. Syst. Softw., 28 (1): 77-87 (1995)Applying SOFL to a Railway Interlocking System in Industry., , , and . SOFL+MSVL, volume 10189 of Lecture Notes in Computer Science, page 160-177. (2016)Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification in Practice., and . SOFL+MSVL, volume 8332 of Lecture Notes in Computer Science, page 3-16. Springer, (2013)Development of a Software Tool to Support Traceability-Based Inspection of SOFL Specifications., and . SOFL+MSVL, volume 8979 of Lecture Notes in Computer Science, page 32-46. Springer, (2014)