John A. Clark

1. An orchestrated survey of methodologies for automated software test case generation
   2013/04/18 by Saswat Anand, Edmund Burke, Edmund K. Burke +11 · 21 citations
   Computer Science · #Software Testing and Debugging Techniques #Software Reliability and Analysis Research #Software Engineering Research
2. Optimising Trotter-Suzuki Decompositions for Quantum Simulation Using\n Evolutionary Strategies
   2019/04/02 by B. J. P. Jones, George O. O'Brien, Jones, Benjamin D. M. +7 · 5 citations
   Computer Science · Engineering · #Neural Networks and Reservoir Computing #Optical Network Technologies #Neural Networks and Applications
3. The certification of the Mondex electronic purse to ITSEC Level E6
   2007/12/11 by Jim Woodcock, Susan Stepney, David Cooper +2 · 3 citations
   Computer Science · #Security and Verification in Computing #Cryptographic Implementations and Security #Advanced Malware Detection Techniques