From post

Model-Based Testing of Reactive Systems, Advanced Lectures The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004

, , , , и (Ред.) том 3472 из Lecture Notes in Computer Science, Springer, (2005)

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.

 

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

Why Did the Test Execution Fail? Failure Classification Using Association Rules (Practical Experience Report)., , , и . ISSRE, стр. 517-528. IEEE, (2022)How can manual testing processes be optimized? developer survey, optimization guidelines, and case studies., , , , и . ESEC/SIGSOFT FSE, стр. 1281-1291. ACM, (2021)Data Accountability in Socio-Technical Systems., , , , и . BMMDS/EMMSAD, том 248 из Lecture Notes in Business Information Processing, стр. 335-348. Springer, (2016)Clustering Traffic Scenarios Using Mental Models as Little as Possible., , , и . IV, стр. 1007-1012. IEEE, (2020)Predicting the Resilience of Obfuscated Code Against Symbolic Execution Attacks via Machine Learning., , и . USENIX Security Symposium, стр. 661-678. USENIX Association, (2017)BinaryRTS: Cross-language Regression Test Selection for C++ Binaries in CI., , , , , , и . ICST, стр. 327-338. IEEE, (2023)Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction., , , , , и . ISSTA, стр. 127-139. ACM, (2023)Empirically evaluating readily available information for regression test optimization in continuous integration., , , и . ISSTA, стр. 491-504. ACM, (2021)Personalization on the Web, и . Information and Telecommunication Technology Center, (1999)Computing refactorings of state machines, и . Software and Systems Modeling, 6 (4): 381--399 (декабря 2007)