Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing, Proc. of Int. Conf. of Testing Software and Systems, pp.119-135, 2012. ,
DOI : 10.1007/978-3-642-34691-0_10
URL : https://hal.archives-ouvertes.fr/hal-01482398
Factorized test generation for multiinput/output transition systems, Testing Communicating Systems (IWTCS), volume 131 of IFIP Conference Proceedings, pp.67-82, 1998. ,
DOI : 10.1007/978-0-387-35381-4_5
STG: A Symbolic Test Generation Tool, Int. Conf. on Tools and Algorithms for Construction and Analysis of Systems, volume 2280 of Lecture Notes in Computer Science, 2002. ,
DOI : 10.1007/3-540-46002-0_34
Yices??2.2, Computer-Aided Verification, pp.737-744, 2014. ,
DOI : 10.1007/978-3-319-08867-9_49
An Implementation Relation and Test Framework for Timed Distributed Systems, Proc. of Int. Conf. of Testing Software and Systems, pp.82-97, 2013. ,
DOI : 10.1109/SEFM.2010.30
URL : https://hal.archives-ouvertes.fr/hal-01110751
Constraint-Based Testing, pp.67-101, 2015. ,
DOI : 10.1016/bs.adcom.2015.05.002
URL : https://hal.archives-ouvertes.fr/hal-00180513
Model-based quality assurance of protocol documentation: tools and methodology. The Journal of Software Testing, Verification and Reliability, pp.55-71, 2011. ,
Implementation Relations for the Distributed Test Architecture, pp.200-215, 2008. ,
DOI : 10.1007/978-3-540-73066-8_12
Using Time to Add Order to Distributed Testing, pp.232-246, 2012. ,
DOI : 10.1007/978-3-642-32759-9_20
Using a SAT solver to generate checking sequences, 2009 24th International Symposium on Computer and Information Sciences, pp.549-554, 2009. ,
DOI : 10.1109/ISCIS.2009.5291883
URL : https://research.sabanciuniv.edu/12802/1/using.pdf
A formal framework for black-box conformance testing of distributed real-time systems, International Journal of Critical Computer-Based Systems, vol.3, issue.1/2, pp.26-43, 2012. ,
DOI : 10.1504/IJCCBS.2012.045075
Black-Box Conformance Testing for Real-Time Systems, Proc. of Int. SPIN Workshop Model Checking of Software, pp.109-126, 2004. ,
DOI : 10.1007/978-3-540-24732-6_8
Conformance testing for real-time systems, Formal Methods in System Design, vol.10, issue.1???2, pp.238-304, 2009. ,
DOI : 10.1007/BFb0020947
A Framework for Distributed Testing of Timed Composite Systems, 2014 21st Asia-Pacific Software Engineering Conference, pp.47-54, 2014. ,
DOI : 10.1109/APSEC.2014.16
Testing from Partial Deterministic FSM Specifications, IEEE Transactions on Computers, vol.54, issue.9, 2005. ,
DOI : 10.1109/TC.2005.152
Investigation on how to integrate Diversity (MBT tool) and Titan (TTCN-3 executor) to provide an open source MBT tool chain, pp.2016-2024 ,
Synchronization and Specification Issues in Protocol Testing, IEEE Transactions on Communications, vol.32, issue.4, pp.389-395, 1984. ,
DOI : 10.1109/TCOM.1984.1096074
On Conformance Testing for Timed Systems, pp.250-264, 2008. ,
DOI : 10.1007/978-3-540-85778-5_18
Formal methods and testing. chapter Model Based Testing with Labelled Transition Systems, pp.1-38, 2008. ,
Automatic distribution of local testers for testing distributed systems, Databases and Information Systems IX -12th Int. Baltic Conf, pp.297-310, 2016. ,