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

Property-based Code Slicing for Efficient Verification of OSEK/VDX Operating Systems, , and . FTSCS, volume 105 of EPTCS, page 69-84. (2012)Black-Box Testing of Deep Neural Networks., , and . ISSRE, page 309-320. IEEE, (2021)Contract discovery from black-box components., , , , and . WASPI@ESEC/SIGSOFT FSE, page 5-8. ACM, (2018)Manifold-based Test Generation for Image Classifiers., , , and . AITest, page 15-22. IEEE, (2020)Manifold for machine learning assurance., and . ICSE (NIER), page 97-100. ACM, (2020)Run-Time Assurance for Learning-Enabled Systems., , , , , , , , and . NFM, volume 12229 of Lecture Notes in Computer Science, page 361-368. Springer, (2020)Property-based testing for LG home appliances using accelerated software-in-the-loop simulation., , , and . ICSE (SEIP), page 120-129. ACM, (2020)Input Prioritization for Testing Neural Networks., , , , and . AITest, page 63-70. IEEE, (2019)Manifold-based Test Generation for Image Classifiers., and . ICSE (Workshops), page 221. ACM, (2020)Automated system-level safety testing using constraint patterns for automotive operating systems., and . SAC, page 1815-1822. ACM, (2015)