150 citations · 623 across the 65 of their papers we have counts for
4 papers · 1 filter
Test Scenario Generation for Context-Oriented Programs
Pierre Martou, Kim Mens, Benoît Duhoux +1
Their highly adaptive nature and the combinatorial explosion of possible configurations makes testing context-oriented programs hard. We propose a methodology to automate the gener…
Analysis of Source Code Using UPPAAL
Mitja Kulczynski, Axel Legay, Dirk Nowotka +1
In recent years there has been a considerable effort in optimising formal methods for application to code. This has been driven by tools such as CPAChecker, DIVINE, and CBMC. At th…
Analysis of Machine Learning Approaches to Packing Detection
Charles-Henry Bertrand Van Ouytsel, Thomas Given-Wilson, Jeremy Minet +2
Packing is an obfuscation technique widely used by malware to hide the content and behavior of a program. Much prior research has explored how to detect whether a program is packed…
Quantitative Security Risk Modeling and Analysis with RisQFLan
Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente +1
Domain-specific quantitative modeling and analysis approaches are fundamental in scenarios in which qualitative approaches are inappropriate or unfeasible. In this paper, we presen…