Author of the publication

An enhanced model for testing asynchronous communicating systems.

, , , and . FORTE, volume 156 of IFIP Conference Proceedings, page 337-356. Kluwer, (1999)

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

FFS: A fast peer-to-peer file sharing approach for mobile devices., and . ICCE, page 161-162. IEEE, (2016)Interoperability test generation and minimization for communication protocols based on the multiple stimuli principle., , , and . IEEE J. Sel. Areas Commun., 22 (10): 2062-2074 (2004)Interoperability Test Suite Derivation for Symmetric Communication Protocols., and . FORTE, volume 107 of IFIP Conference Proceedings, page 57-72. Chapman & Hall, (1997)Development and Application of ATM Protocol Conformance Test System., , , , , , , , and . IWTCS, volume 147 of IFIP Conference Proceedings, page 331-346. Kluwer, (1999)Towards a Formal Framework for Product Line Test Development, , , and . CIT ’07: Computer and Information Technology, page 921–926. (2007)Architecture-Based Planning of Software Evolution., and . International Journal of Software Engineering and Knowledge Engineering, 24 (2): 211-242 (2014)Architecture decision based on value-based software engineering concepts., and . ISEC, page 143-144. ACM, (2008)Bug Report Summarization using Believability Score and Text Ranking., , and . ICAIIC, page 117-120. IEEE, (2021)Test Cases Generation from UML Activity Diagrams., , , and . SNPD (3), page 556-561. IEEE Computer Society, (2007)A software binding application tool based on the orthogonal variability description language for software product line development., , and . SNPD, page 423-430. IEEE Computer Society, (2015)