1 citations · 1 across the 3 of their papers we have counts for
4 papers
HyperGI: Automated Detection and Repair of Information Flow Leakage
Ibrahim Mesecan, Daniel Blackwell, David Clark +2
Maintaining confidential information control in software is a persistent security problem where failure means secrets can be revealed via program behaviors. Information flow contro…
Genetic Improvement @ ICSE 2020
William B. Langdon, Westley Weimer, Justyna Petke +13
Following Prof. Mark Harman of Facebook's keynote and formal presentations (which are recorded in the proceedings) there was a wide ranging discussion at the eighth international G…
A Survey of Constrained Combinatorial Testing
Huayao Wu, Changhai Nie, Justyna Petke +2
Combinatorial Testing (CT) is a potentially powerful testing technique, whereas its failure revealing ability might be dramatically reduced if it fails to handle constraints in an…
Cliquewidth and Knowledge Compilation
Igor Razgon, Justyna Petke
In this paper we study the role of cliquewidth in succinct representation of Boolean functions. Our main statement is the following: Let be a Boolean circuit having cliquewidth…