Neil Walkinshaw

1. Uncertainty-Driven Black-Box Test Data Generation
   2016/08/10 by Neil Walkinshaw, Walkinshaw, Neil, Gordon Fraser +1 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Machine Learning and Data Classification #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques
2. Mining State-Based Models from Proof Corpora
   2014/05/14 by Thomas Gransden, Neil Walkinshaw, Gransden, Thomas +3 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Software Engineering Research
3. Testing Causality in Scientific Modelling Software
   2022/09/01 by Andrew G. Clark, Michael S. Foster, Clark, Andrew G. +12 · 1 voice
   Computer Science · Decision Sciences · #D.2.5 #FOS: Computer and information sciences #I.6.4 #Scientific Computing and Data Management #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research #cs.SE