Author of the publication

Requirements by Contracts allow Automated System Testing

, , , and . ISSRE '03: Proceedings of the 14th International Symposium on Software Reliability Engineering, page 85. Washington, DC, USA, IEEE Computer Society, (2003)

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

System Test Synthesis from UML Models of Distributed Software, , , , , and . FORTE, page 97-113. (2002)MR: Mittels UMLAUT wird die UML-Spezifikation in ein IOLTS überführt und durch das Testsynthesis-Tool TGV werden Testfälle abgeleitet. Auf diesem Ansatz baut auch der Ansatz von Nebut im SPL-Umfeld Nebut2002Nebut2003Nebut2006..System Testing of Product Lines: From Requirements to Test Cases., , and . Software Product Lines, Springer, (2006)Tools for Conviviality in Multi-Context Systems., , and . FLAP, 1 (1): 95-114 (2014)Cerebro: Static Subsuming Mutant Selection., , , , , and . IEEE Trans. Software Eng., 49 (1): 24-43 (2023)Robust Active Learning: Sample-Efficient Training of Robust Deep Learning Models., , , , and . CoRR, (2021)Learning To Predict Vulnerabilities From Vulnerability-Fixes: A Machine Translation Approach., , , , , and . CoRR, (2020)Characterizing and Understanding the Behavior of Quantized Models for Reliable Deployment., , , , , , and . CoRR, (2022)Active Code Learning: Benchmarking Sample-Efficient Training of Code Models., , , , , , and . CoRR, (2023)Distribution-aware Fairness Test Generation., , , and . CoRR, (2023)Enhancing Mixup-Based Graph Learning for Language Processing via Hybrid Pooling., , , , , , and . CoRR, (2022)