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