Walkinshaw, Neil
- Uncertainty-Driven Black-Box Test Data Generation
2016/08/10 by Walkinshaw, Neil, Fraser, Gordon · 1 citation
#FOS: Computer and information sciences #Software Engineering (cs.SE)
- Mining State-Based Models from Proof Corpora
2014/05/14 by Thomas Gransden, Gransden, Thomas, Neil Walkinshaw +3 · 1 citation
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
- Testing Causality in Scientific Modelling Software
2022/09/01 by Andrew G. Clark, Clark, Andrew G., Michael Foster +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