Author of the publication

Defect-Based Testing.

. Dependable Software Systems Engineering, volume 40 of NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, (2015)

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

Poking the bear: lessons learned from probing three Android malware datasets., and . A-Mobile@ASE, page 19-24. ACM, (2018)Towards a Unified Model of Accountability Infrastructures., , and . CREST@ETAPS, volume 224 of EPTCS, page 40-54. (2016)ACCBench: A Framework for Comparing Causality Algorithms., , , and . CREST@ETAPS, volume 259 of EPTCS, page 16-30. (2017)Improving Function Coverage with Munch: A Hybrid Fuzzing and Directed Symbolic Execution Approach., , , and . CoRR, (2017)Data Protection in a Cloud-Enabled Smart Grid., , and . SmartGridSec, volume 7823 of Lecture Notes in Computer Science, page 96-107. Springer, (2012)A Fully Decentralized Data Usage Control Enforcement Infrastructure., and . ACNS, volume 9092 of Lecture Notes in Computer Science, page 409-430. Springer, (2015)Idea: Automatic Localization of Malicious Behaviors in Android Malware with Hidden Markov Models., , and . ESSoS, volume 10953 of Lecture Notes in Computer Science, page 108-115. Springer, (2018)From Checking to Inference: Actual Causality Computations as Optimization Problems., and . ATVA, volume 12302 of Lecture Notes in Computer Science, page 343-359. Springer, (2020)Guest editorial for the special section on MODELS 2016., and . Softw. Syst. Model., 18 (3): 1681-1682 (2019)Computing refactorings of state machines., and . Softw. Syst. Model., 6 (4): 381-399 (2007)