| An overview of SAL S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ... NASA CONFERENCE PUBLICATION, 187-195, 2000 | 241 | 2000 |
| STG: A symbolic test generation tool D Clarke, T Jéron, V Rusu, E Zinovieva International Conference on Tools and Algorithms for the Construction and …, 2002 | 153 | 2002 |
| An approach to symbolic test generation V Rusu, L Du Bousquet, T Jéron International Conference on Integrated Formal Methods, 338-357, 2000 | 151 | 2000 |
| Symbolic test selection based on approximate analysis B Jeannet, T Jéron, V Rusu, E Zinovieva International Conference on Tools and Algorithms for the Construction and …, 2005 | 99 | 2005 |
| Integrating formal verification and conformance testing for reactive systems C Constant, T Jéron, H Marchand, V Rusu IEEE Transactions on Software Engineering 33 (8), 558-574, 2007 | 72 | 2007 |
| Reachability verification for hybrid automata TA Henzinger, V Rusu International Workshop on Hybrid Systems: Computation and Control, 190-204, 1998 | 72 | 1998 |
| Defining and reasoning about recursive functions: a practical tool for the Coq proof assistant G Barthe, J Forest, D Pichardie, V Rusu International Symposium on Functional and Logic Programming, 114-129, 2006 | 69 | 2006 |
| Extracting a data flow analyser in constructive logic D Cachera, T Jensen, D Pichardie, V Rusu Theoretical Computer Science 342 (1), 56-78, 2005 | 69 | 2005 |
| On proving safety properties by integrating static analysis, theorem proving and abstraction V Rusu, E Singerman International Conference on Tools and Algorithms for the Construction and …, 1999 | 56 | 1999 |
| Equational approximations for tree automata completion T Genet, V Rusu Journal of Symbolic Computation 45 (5), 574-597, 2010 | 49 | 2010 |
| Automated test and oracle generation for smart-card applications D Clarke, T Jéron, V Rusu, E Zinovieva International Conference on Research in Smart Cards, 58-70, 2001 | 44 | 2001 |
| Extracting a data flow analyser in constructive logic D Cachera, T Jensen, D Pichardie, V Rusu European Symposium on Programming, 385-400, 2004 | 38 | 2004 |
| Automatic verification and conformance testing for validating safety properties of reactive systems V Rusu, H Marchand, T Jéron International Symposium on Formal Methods, 189-204, 2005 | 37 | 2005 |
| A language-independent proof system for mutual program equivalence Ş Ciobâcă, D Lucanu, V Rusu, G Roşu International Conference on Formal Engineering Methods, 75-90, 2014 | 34 | 2014 |
| A generic framework for symbolic execution A Arusoaie, D Lucanu, V Rusu International Conference on Software Language Engineering, 281-301, 2013 | 34 | 2013 |
| Program equivalence by circular reasoning D Lucanu, V Rusu Formal Aspects of Computing 27 (4), 701-726, 2015 | 28 | 2015 |
| STG: a tool for generating symbolic test programs and oracles from operational specifications D Clarke, T Jéron, V Rusu, E Zinovieva Proceedings of the 8th European software engineering conference held jointly …, 2001 | 28 | 2001 |
| Verifying reachability-logic properties on rewriting-logic specifications D Lucanu, V Rusu, A Arusoaie, D Nowak Logic, Rewriting, and Concurrency, 451-474, 2015 | 27 | 2015 |
| Formal executable semantics for conformance in the MDE framework M Egea, V Rusu Innovations in Systems and Software Engineering 6 (1-2), 73-81, 2010 | 27 | 2010 |
| A generic tool for tracing executions back to a DSML’s operational semantics B Combemale, L Gonnord, V Rusu European Conference on Modelling Foundations and Applications, 35-51, 2011 | 26 | 2011 |
