@inproceedings(ADX01, author = "P.~Amman and W.~Ding and D.~Xu", year = "2001", title = "Using a Model Checker to Test Safety Properties", booktitle = "7th Int. Conf. on Engineering of Complex Computer Systems (ICECCS'01)", publisher = "{IEEE}", pages = "212--221", doi = "10.1109/ICECCS.2001.930180", ) @inproceedings(1083284, author = "M.~Auguston and J.B. Michael and M.-T. Shing", year = "2005", title = "Environment behavior models for scenario generation and testing automation", booktitle = "A-MOST '05: Proceedings of the 1st international workshop on Advances in model-based testing", publisher = "ACM", address = "New York, NY, USA", pages = "1--6", doi = "10.1145/1083274.1083284", ) @book(binder, author = "Robert~V. Binder", year = "1999", title = "Testing object-oriented systems: models, patterns, and tools", publisher = "Addison-Wesley Longman Publishing Co., Inc.", address = "Boston, MA, USA", ) @inproceedings(bglp+07:ip, author = "F.~Bouquet and C.~Grandpierre and B.~Legeard and F.~Peureux and N.~Vacelet and M.~Utting", year = "2007", title = "A subset of precise {UML} for model-based testing", booktitle = "A-MOST'07, 3rd int. Workshop on Advances in Model Based Testing", publisher = "ACM Press", address = "London, United Kingdom", pages = "95--104", doi = "10.1145/1291535.1291545", ) @article(ccdj11:ij, author = "K.~Cabrera~Castillos and F.~Dadeau and J.~Julliand", year = "2011", title = "Scenario-Based Testing from {UML/OCL} Behavioral Models -- Application to {POSIX} Compliance", journal = "STTT, International Journal on Software Tools for Technology Transfer", volume = "13", number = "5", pages = "431--448", doi = "10.1007/s10009-011-0189-7", ) @inproceedings(cdjkt13:ip, author = "K.~Cabrera~Castillos and F.~Dadeau and J.~Julliand and B.~Kanso and S.~Taha", year = "2013", title = "A Compositional Automata-based Semantics for Property Patterns", editor = "E.B. Johnsen and L.~Petre", booktitle = "iFM'2013, 10th Int. Conf. on integrated Formal Methods", series = "LNCS", volume = "7940", publisher = "Springer", address = "Turku, Finland", pages = "316--330", doi = "10.1007/978-3-642-38613-8\_22", ) @inproceedings(ICTSS11, author = "K.~Cabrera~Castillos and F.~Dadeau and J.~Julliand and S.~Taha", year = "2011", title = "Measuring Test Properties Coverage for evaluating {UML/OCL} Model-Based Tests", editor = "B.~Wolff and F.~Zaidi", booktitle = "ICTSS'11, 23-th IFIP Int. Conf. on Testing Software and Systems", series = "LNCS", volume = "7019", publisher = "Springer", address = "Paris, France", pages = "32--47", doi = "10.1007/978-3-642-24580-0\_4", ) @misc(certifyit, title = "Smartesting CertifyIt test generator", howpublished = "\url {http://www.smartesting.com/}", ) @inproceedings(stg, author = "D.~Clarke and T.~J\'{e}ron and V.~Rusu and E.~Zinovieva", year = "2001", title = "{STG: a tool for generating symbolic test programs and oracles from operational specifications}", booktitle = "ESEC/FSE-9: Proc. of the 8th European Software Engineering Conference", publisher = "ACM", address = "New York, NY, USA", pages = "301--302", doi = "10.1145/503209.503252", ) @inproceedings(dcl+13:ip, author = "F.~Dadeau and K.~Cabrera~Castillos and Y.~Ledru and T.~Triki and G.~Vega and J.~Botella and S.~Taha", year = "2013", title = "{Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool}", editor = "B.~Baudry and A.~Orso", booktitle = "ICST 2013, 6th Int. Conf. on Software Testing, Verification and Validation, Testing Tool track", publisher = "IEEE Computer Society Press", pages = "431--438", doi = "10.1109/ICST.2013.60", ) @inproceedings(demillo, author = "Richard~A. DeMillo", year = "1989", title = "Completely Validated Software: Test Adequacy and Program Mutation", booktitle = "ICSE", pages = "355--356", doi = "10.1145/74587.74634", ) @inproceedings(DAC99, author = "M.~B. Dwyer and G.~S. Avrunin and J.~C. Corbett", year = "1999", title = "Patterns in property specifications for finite-state verification", booktitle = "ICSE'99: Proceedings of the 21st international conference on Software engineering", publisher = "IEEE Computer Society Press", address = "Los Alamitos, CA, USA", pages = "411--420", doi = "10.1145/302405.302672", ) @article(JPost, author = "Y.~Falcone and L.~Mounier and J.-C. Fernandez and J.-L. Richier", year = "2008", title = "{j-POST: a Java Toolchain for Property-Oriented Software Testing}", journal = "Electr. Notes Theor. Comput. Sci.", volume = "220", number = "1", pages = "29--41", doi = "10.1016/j.entcs.2008.11.004", ) @article(fraser, author = "G.~Fraser and F.~Wotawa", year = "2008", title = "Using {M}odel-{C}heckers to {G}enerate and {A}nalyze {P}roperty {R}elevant {T}est-{C}ases", journal = "{S}oftware {Q}uality {J}ournal", volume = "16", pages = "161--183", doi = "10.1007/s11219-007-9031-6", ) @inproceedings(GH99, author = "A.~Gargantini and C~Heitmeyer", year = "1999", title = "Using Model Checking to Generate Tests from Requirements Specifications", booktitle = "Procs of the Joint 7th Eur. Software Engineering Conference and 7th ACM SIGSOFT Int. Symp. on Foundations of Software Engineering", pages = "146--162", doi = "10.1145/318774.318939", ) @article(Huang75, author = "J.~C. Huang", year = "1975", title = "An Approach to Program Testing", journal = "ACM Comput. Surv.", volume = "7", number = "3", pages = "113--128", doi = "10.1145/356651.356652", ) @inproceedings(conformiq, author = "Antti Huima", year = "2007", title = "Implementing Conformiq Qtronic", editor = "A.~Petrenko and M.~Veanes and J.~Tretmans and W.~Grieskamp", booktitle = "Testing of Software and Communicating Systems", series = "Lecture Notes in Computer Science", volume = "4581", publisher = "Springer Berlin / Heidelberg", pages = "1--12", doi = "10.1007/978-3-540-73066-8\_1", ) @article(POSE, author = "P.-A. Masson and et~al.", year = "2010", title = "An Access Control Model Based Testing Approach for Smart Card Applications: Results of the {POS\'E} Project", journal = "Journal of Information Assurance and Security", volume = "5", pages = "335--351", ) @inproceedings(rusu05a, author = "V.~Rusu and H.~Marchand and T.~J\'eron", year = "2005", title = "Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems", editor = "J.~Fitzgerald and A.~Tarlecki and I.~Hayes", booktitle = "Formal Methods 2005 (FM05)", series = "LNCS", publisher = "Springer", pages = "189--204", doi = "10.1007/11526841\_14", ) @misc(ryser99practical, author = "J.~Ryser and M.~Glinz", year = "1999", title = "A Practical Approach to Validating and Testing Software Systems Using Scenarios", url = "citeseer.ist.psu.edu/ryser99practical.html", ) @inproceedings(TSL04, author = "L.~Tan and O.~Sokolsky and I.~Lee", year = "2004", title = "Specification-based Testing with Linear Temporal Logic", booktitle = "IRI'2004, IEEE Int. Conf. on Information Reuse and Integration", pages = "413--498", doi = "10.1109/IRI.2004.1431509", ) @inproceedings(tsai_sbt, author = "W.~T. Tsai and A.~Saimi and L.~Yu and R.~Paul", year = "2003", title = "Scenario-based Object-Oriented Testing Framework", booktitle = "Int. Conf. on Quality Software", publisher = "IEEE Computer Society", address = "Los Alamitos, CA, USA", pages = "410--417", doi = "10.1109/QSIC.2003.1319129", ) @book(OCL, author = "J.~Warmer and A.~Kleppe", year = "2003", title = "The Object Constraint Language Second Edition: Getting Your Models Ready for {MDA}", publisher = "Addison-Wesley", ) @inproceedings(scentor, author = "J.~Wittevrongel and F.~Maurer", year = "2001", title = "SCENTOR: Scenario-Based Testing of E-Business Applications", booktitle = "WETICE '01: Proceedings of the 10th IEEE International Workshops on Enabling Technologies", publisher = "IEEE Computer Society", address = "Washington, DC, USA", pages = "41--46", doi = "10.1109/ENABL.2001.953386", )