An overview of SAL S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ... Lfm2000: Fifth NASA Langley Formal Methods Workshop, 2000 | 249 | 2000 |
An approach to symbolic test generation V Rusu, L Du Bousquet, T Jéron Integrated Formal Methods: Second International Conference, IFM 2000 …, 2000 | 166 | 2000 |
STG: A symbolic test generation tool D Clarke, T Jéron, V Rusu, E Zinovieva Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002 | 163 | 2002 |
Symbolic test selection based on approximate analysis B Jeannet, T Jéron, V Rusu, E Zinovieva Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005 | 104 | 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 | 80 | 2007 |
Defining and reasoning about recursive functions: a practical tool for the Coq proof assistant G Barthe, J Forest, D Pichardie, V Rusu Functional and Logic Programming (FLOPS'06), 2006 | 75 | 2006 |
Reachability verification for hybrid automata TA Henzinger, V Rusu Hybrid Systems: Computation and Control: First International Workshop, HSCC …, 1998 | 75 | 1998 |
Extracting a data flow analyser in constructive logic D Cachera, T Jensen, D Pichardie, V Rusu Theoretical Computer Science 342 (1), 56-78, 2005 | 71 | 2005 |
On proving safety properties by integrating static analysis, theorem proving and abstraction V Rusu, E Singerman Tools and Algorithms for the Construction and Analysis of Systems: 5th …, 1999 | 55 | 1999 |
Equational approximations for tree automata completion T Genet, V Rusu Journal of Symbolic Computation 45 (5), 574-597, 2010 | 52 | 2010 |
A language-independent proof system for full program equivalence S Ciobâca, D Lucanu, V Rusu, G Rosu Formal Aspects of Computing 28 (3), 469--497, 2016 | 44* | 2016 |
Automated test and oracle generation for smart-card applications D Clarke, T Jéron, V Rusu, E Zinovieva Smart Card Programming and Security: International Conference on Research in …, 2001 | 44 | 2001 |
Automatic verification and conformance testing for validating safety properties of reactive systems V Rusu, H Marchand, T Jéron FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005 | 41 | 2005 |
A generic framework for symbolic execution A Arusoaie, D Lucanu, V Rusu Software Language Engineering: 6th International Conference, SLE 2013 …, 2013 | 40* | 2013 |
Extracting a data flow analyser in constructive logic D Cachera, T Jensen, D Pichardie, V Rusu Programming Languages and Systems: 13th European Symposium on Programming …, 2004 | 39 | 2004 |
Program equivalence by circular reasoning D Lucanu, V Rusu Formal Aspects of Computing 27, 701-726, 2015 | 36 | 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 | 32 | 2001 |
From safety verification to safety testing V Rusu, H Marchand, V Tschaen, T Jéron, B Jeannet Testing of Communicating Systems: 16th IFIP International Conference …, 2004 | 30 | 2004 |
Verifying reachability-logic properties on rewriting-logic specifications D Lucanu, V Rusu, A Arusoaie, D Nowak Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the …, 2015 | 28 | 2015 |
A generic tool for tracing executions back to a DSML’s operational semantics B Combemale, L Gonnord, V Rusu Modelling Foundations and Applications: 7th European Conference, ECMFA 2011 …, 2011 | 28 | 2011 |