| Multi-solver support in symbolic execution H Palikareva, C Cadar International Conference on Computer Aided Verification, 53-68, 2013 | 71 | 2013 |
| Chopped symbolic execution D Trabish, A Mattavelli, N Rinetzky, C Cadar Proceedings of the 40th International Conference on Software Engineering …, 2018 | 39 | 2018 |
| Finding the needle: stack traces for GHC TOR Allwood, S Peyton Jones, S Eisenbach Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, 129-140, 2009 | 19 | 2009 |
| A {DSL} Approach to Reconcile Equivalent Divergent Program Executions L Pina, D Grumberg, A Andronidis, C Cadar 2017 {USENIX} Annual Technical Conference ({USENIX}{ATC} 17), 417-429, 2017 | 8 | 2017 |
| Tickling Java with a feather TOR Allwood, S Eisenbach Electronic Notes in Theoretical Computer Science 238 (5), 3-16, 2009 | 6 | 2009 |
| High coverage testing of Haskell programs T Allwood, C Cadar, S Eisenbach Proceedings of the 2011 International Symposium on Software Testing and …, 2011 | 5 | 2011 |
| Pluggable, Iterative Type Checking for Dynamic Programming Languages T Allwood, S Eisenbach, S Drossopoulou | 3 | 2006 |
| Clase: cursor library for a structured editor TOR Allwood, S Eisenbach Proceedings of the first ACM SIGPLAN symposium on Haskell, 123-124, 2008 | 2 | 2008 |
| Deconstraining DSLs W Jones, T Field, T Allwood Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012 | 1 | 2012 |
| Automatic unit test generation for JavaScript J de Lafargue, S Eisenbach, T Allwood Imperial College London, 2012 | 1 | 2012 |
| Finding The Lazy Programmer's Bugs TOR Allwood Imperial College London, 2011 | 1 | 2011 |
| Strengthening the zipper TOR Allwood, S Eisenbach Electronic Notes in Theoretical Computer Science 253 (7), 3-18, 2010 | 1 | 2010 |
| A User Friendly, Type-Safe, Graphical Shell T Allwood, D Burke, M Hull, E Itskova, S Zymler Group Project Report, 2005 | 1 | 2005 |
| Deconstraining DSLs WJT Field, T Allwood | | 2012 |
| Pluggable, Hybrid Type-Inference for Dynamic, Imperative, Object-Oriented Programming Languages T Allwood, S Eisenbach | | 2006 |
| reviewer thanks A Abdurazik, P Abrahamsson, A Abran, S Adolph, W Ahmed, B Al-Ani, ... | | |
