Author:
Alberti Michele,Signoles Julien
Publisher
Springer International Publishing
Reference22 articles.
1. Barnett, M., Fähndrich, M., de Halleux, P., Logozzo, F., Tillmann, N.: Exploiting the synergy between automated-test-generation and programming-by-contract. In: ICSE 2009 (2009)
2. Baudin, P., Filliâtre, J.-C., Marché, C., Monate, B., Moy, Y., Prevosto, V.: ACSL: ANSI/ISO C Specification Language. http://frama-c.com/acsl.html
3. Lecture Notes in Computer Science;S Blazy,2017
4. Blume, W., Eigenmann, R.: Symbolic range propagation. In: IPPS 1995 (1995)
5. Botella, B., Delahaye, M., Ha, S.H.T., Kosmatov, N., Mouy, P., Roger, M., Williams, N.: Automating structural testing of C programs: experience with PathCrawler. In: AST 2009 (2009)