Author of the publication

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

Model Validation using Automatically Generated Requirements-Based Tests., , and . HASE, page 95-104. IEEE Computer Society, (2007)Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness., , , and . NASA Formal Methods, volume NASA/CP-2010-216215 of NASA Conference Proceedings, page 161-170. (2010)Requirements Coverage as an Adequacy Measure for Conformance Testing., , , and . ICFEM, volume 5256 of Lecture Notes in Computer Science, page 86-104. Springer, (2008)Speeding up test execution with increased cache locality., and . Softw. Test. Verification Reliab., (2018)Assessing the effect of data transformations on test suite compilation., , and . ESEM, page 4:1-4:10. ACM, (2018)Measuring Change Impact on Program Behaviour., and . Validation of Evolving Software, Springer, (2015)SIF: A Framework for Solidity Code Instrumentation and Analysis., and . CoRR, (2019)Explanations for Automatic Speech Recognition., , and . ICASSP, page 1-5. IEEE, (2023)Catch Me If You Can: Blackbox Adversarial Attacks on Automatic Speech Recognition using Frequency Masking., and . APSEC, page 169-178. IEEE, (2022)PINCETTE - Validating Changes and Upgrades in Networked Software., , , , , , , , , and 2 other author(s). CSMR, page 461-464. IEEE Computer Society, (2013)