Items where Author is "Clark, David"
|See full list of headings|
Androutsopoulos, Kelly and Clark, David and Harman, Mark and Hierons, Robert M. and Li, Zheng and Tratt, Laurence (2013) Amorphous slicing of extended finite state machines. IEEE Transactions on Software Engineering, 39 (7). pp. 892-909. ISSN 0098-5589
Androutsopoulos, Kelly and Clark, David and Harman, Mark and Li, Zheng and Tratt, Laurence (2009) Control dependence for extended finite state machines. Lecture Notes in Computer Science, 5503 . pp. 216-230. ISSN 0302-9743
Androutsopoulos, Kelly and Binkley, David and Clark, David and Gold, Nicolas and Harman, Mark and Lano, Kevin and Li, Zheng (2011) Model projection: simplifying models in response to restricting the environment. In: Proceeding of the 33rd international conference on Software engineering - ICSE '11. ACM, pp. 291-300. ISBN 9781450304450