2 papers
cs.CR2019
Corpus Distillation for Effective Fuzzing: A Comparative Evaluation
Adrian Herrera, Hendra Gunadi, Liam Hayes +5
Mutation-based fuzzing typically uses an initial set of non-crashing seed inputs (a corpus) from which to generate new inputs by mutation. A corpus of potential seeds will often co…
cs.LO2012
Reasoning with Data-Centric Business Processes
Andreas Bauer, Peter Baumgartner, Michael Norrish
We describe an approach to modelling and reasoning about data-centric business processes and present a form of general model checking. Our technique extends existing approaches, wh…