From post

Fault-Based Generation of Test Cases from UML-Models - Approach and Some Experiences.

, , и . SAFECOMP, том 6894 из Lecture Notes in Computer Science, стр. 270-283. Springer, (2011)

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.

 

Другие публикации лиц с тем же именем

When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving., , , и . ICST, стр. 479-488. IEEE Computer Society, (2010)Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking, и . MBT, том 80 из EPTCS, стр. 88-102. (2012)UML in action: a two-layered interpretation for testing., , , и . ACM SIGSOFT Softw. Eng. Notes, 36 (1): 1-8 (2011)Model-Based Mutation Testing of an Industrial Measurement Device., , , , , , и . TAP@STAF, том 8570 из Lecture Notes in Computer Science, стр. 1-19. Springer, (2014)Efficient Mutation Killers in Action., , , и . ICST, стр. 120-129. IEEE Computer Society, (2011)Learning and statistical model checking of system response times., , , , , , , , и . Softw. Qual. J., 27 (2): 757-795 (2019)MoMut: : UML Model-Based Mutation Testing for UML., , , , , и . ICST, стр. 1-8. IEEE Computer Society, (2015)Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints., и . ICST, стр. 752-757. IEEE Computer Society, (2012)Fault-Based Generation of Test Cases from UML-Models - Approach and Some Experiences., , и . SAFECOMP, том 6894 из Lecture Notes in Computer Science, стр. 270-283. Springer, (2011)Model-Based Mutation Testing of Hybrid Systems., , , и . FMCO, том 6286 из Lecture Notes in Computer Science, стр. 228-249. Springer, (2009)