Symbolic analysis of scenario based timed models for componentbased systems: Compositionality results for testing ,
ACSL: ANSI/ISO C Specification Language, v1, 2015. ,
Path feasibility analysis for stringmanipulating programs, 15th Int. Conf., TACAS, 2009. ,
Input ouput symbolic transitions systems enriched by program calls and contracts : a detailed example of a vending machine, 2015. ,
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2, 4th Int. Symposium, FMCO, volume 4111 of Lecture Notes in Computer Science, 2006. ,
DOI : 10.1007/11804192_16
Precondition Inference from Intermittent Assertions and Application to Contracts on Collections, Proc. VMCAI, 2011. ,
DOI : 10.1007/11547662_21
URL : https://hal.archives-ouvertes.fr/inria-00543881
DySy, Proceedings of the 13th international conference on Software engineering , ICSE '08, 2008. ,
DOI : 10.1145/1368088.1368127
Model-Based Testing: An Approach with SDL/RTDS and DIVERSITY, 8th Int. Conference, 2014. ,
DOI : 10.1007/978-3-319-11743-0_14
Dynamically discovering likely program invariants to support program evolution, Trans. Soft. Eng, vol.27, 2001. ,
DOI : 10.1109/icse.1999.841011
Assigning meanings to programs, Proc. AMS Symp. on Applied Mathematics, vol.19, 1967. ,
DOI : 10.1090/psapm/019/0235771
Symbolic Execution Techniques for Test Purpose Definition, Testing of Communicating Systems, Int. Conference, TestCom, 2006. ,
DOI : 10.1007/11754008_1
URL : https://hal.archives-ouvertes.fr/hal-00342082
An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, 1969. ,
DOI : 10.1007/978-3-642-48354-7_17
URL : http://www.utdallas.edu/~kxh060100/cs6371fa07/hoare.pdf
Functional SOA testing based on constraints, 2013 8th International Workshop on Automation of Software Test (AST), 2013. ,
DOI : 10.1109/IWAST.2013.6595788
Symbolic execution and program testing, Communications of the ACM, vol.19, issue.7, 1976. ,
DOI : 10.1145/360248.360252
Frama-C: A software analysis perspective, Formal Aspects of Computing, vol.12, issue.1???2, 2015. ,
DOI : 10.1007/11408901_21
URL : https://hal.archives-ouvertes.fr/cea-01808981
Inferring class level specifications for distributed systems, 2012 34th International Conference on Software Engineering (ICSE), 2012. ,
DOI : 10.1109/ICSE.2012.6227128
URL : http://www.mysmu.edu/faculty/davidlo/papers/icse12-symbolic.pdf
Scenario-based and value-based specification mining, Proceedings of the IEEE/ACM international conference on Automated software engineering, ASE '10, 2012. ,
DOI : 10.1145/1858996.1859081
Applying 'design by contract', Computer, vol.25, issue.10, 1992. ,
DOI : 10.1109/2.161279
URL : http://www.inf.ethz.ch/~meyer/publications/computer/contract.pdf
, Object Management Group. OMG Unified Modeling Language TM (OMG UML), version 2.5 edition, 2013.
Inferring invariants by symbolic execution, CEUR Workshop Proceedings, 2007. ,
Conformance testing with labelled transition systems: Implementation relations and test generation, Computer Networks and ISDN Systems, vol.29, issue.1, 1996. ,
DOI : 10.1016/S0169-7552(96)00017-7
A Method of Path Feasibility Judgment Based on Symbolic Execution and Range Analysis, International Journal of Future Generation Communication and Networking, vol.7, issue.3, 2014. ,
DOI : 10.14257/ijfgcn.2014.7.3.19
Inferring better contracts, Proceeding of the 33rd international conference on Software engineering, ICSE '11, 2011. ,
DOI : 10.1145/1985793.1985820
Invariant discovery guided by symbolic execution, The Java PathFinder Workshop, 2013. ,