Anne Pacalet

Publication Activity (10 Years)

Years Active: 1999-2014
Publications (10 Years): 0

Top Topics

Software Testing

Randomly Generated

Branch And Bound Algorithm

Top Venues

Autom. Softw. Eng.

NASA Formal Methods

Publications

Omar Chebaro, Pascal Cuoq, Nikolai Kosmatov, Bruno Marre, Anne Pacalet, Nicky Williams, Boris Yakobowski
Behind the scenes in SANTE: a combination of static and dynamic analyses. Autom. Softw. Eng. 21 (1) (2014)
Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto, John Regehr, Boris Yakobowski, Xuejun Yang
Testing Static Analyzers with Randomly Generated Programs. NASA Formal Methods (2012)
Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto
Functional dependencies of C functions via weakest pre-conditions. Int. J. Softw. Tools Technol. Transf. 13 (5) (2011)
Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, César Kunz, Anne Pacalet
Implementing a Direct Method for Certificate Translation. ICFEM (2009)
Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen, Nicky Williams
CAVEAT: A Tool for Software Validation. DSN (2002)
Famantanantsoa Randimbivololona, Jean Souyris, Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen
Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach. World Congress on Formal Methods (1999)