Generating Test Data from OCL Constraints with Search Techniques

10.1145/2379776.2379787

10.1109/ICSTW.2011.36

10.1109/SSBSE.2010.25

10.1007/978-3-642-23716-4_20

10.1002/stvr.294

mantere, 2005, Evolutionary Software Engineering, a Review, Applied Soft Computing, 5, 315, 10.1016/j.asoc.2004.08.004

10.1016/j.infsof.2008.12.005

binder, 1999, Testing Object-Oriented Systems Models Patterns and Tools

10.1109/TSE.2011.121

10.1007/978-3-642-23716-4_21

burke, 2006, Search Methodologies Introductory Tutorials in Optimization and Decision Support Techniques

harman, 2009, Search Based Software Engineering: A Comprehensive Analysis and Review of Trends Techniques and Applications

10.1109/ICSE.2012.6227195

10.1002/stvr.457

10.1145/2025113.2025179

2011, KermetaBreathe Life into Your Metamodels

10.1109/SSBSE.2010.22

ali, 2010, Model Transformations as a Strategy to Automate Model-Based TestingA Tool and Industrial Case Studies

phil, 2012, Input Domain Reduction through Irrelevant Variable Removal and Its Effect on Local, Global, and Hybrid Search-Based Structural Test Data Generation, IEEE Trans Software Eng, 453

coley, 1997, An Introduction to Genetic Algorithms for Scientists and Engineers

drechsler, 2002, Evolutionary Algorithms for Embedded System Design

10.1109/AQTR.2010.5520815

ali, 2012, Modeling Robustness Behavior Using Aspect-Oriented Modeling to Support Robustness Testing of Industrial Systems, Software and Systems Modeling, 11, 633, 10.1007/s10270-011-0206-z

10.1109/32.57624

2012, Cisco C90

2012, Dresden OCL

2010, Modeling and Analysis of Real-time and Embedded Systems (MARTE)

2012, Model Development Tools

10.1145/1985793.1985795

egea, 2010, EyeOCL Software

arcuri, 2011, On Parameter Tuning in Search Based Software Engineering, Proc Int'l Symp Search Based Software Eng, 10.1007/978-3-642-23716-4_6

2012, UML-based Specification Environment (USE)

sheskin, 2007, Handbook of Parametric and Nonparametric Statistical Procedures

bordbar, 2005, UML2Alloy: A Tool for Lightweight Modelling of Discrete Event Systems, Proc IADIS Int'l Conf Applied Computing

10.1109/TSE.2009.52

10.1016/S0304-3975(01)00182-7

10.1002/stvr.294

10.1109/QSIC.2005.63

10.1016/j.artint.2005.05.003

distefano, 2000, Towards Model Checking OCL, Proc ECOOP Workshop on Defining Precise Semantics for UML

clavel, 2009, Checking Unsatisfiability for OCL Constraints, Proc Ninth OCL Workshop at the UML/MoDELS Conf

utting, 2007, Practical Model-Based Testing A Tools Approach

2006, Meta Object Facility (MOF)

10.1016/j.scico.2007.01.013

2011, Object Constraint Language Specification Version 1 1

10.1007/978-3-642-21210-9_33

ali, 2011, An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms, Proc 10th Int'l Conf Model Driven Eng Languages and Systems, 10.1007/978-3-642-24485-8_9

10.1145/1868294.1868303

yue, 2012, Experiences with Model-Based Product Line Engineering for Developing a Family of Integrated Control Systems: An Industrial Case Study

10.1007/978-3-540-69073-3_17

10.1007/978-3-642-16145-2_20

10.1016/j.entcs.2008.04.038

arcuri, 2010, Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing, Proc IFIP Int'l Conf Testing Software and Systems, 10.1007/978-3-642-16573-3_8

10.1016/j.entcs.2004.09.027

2011, CertifyIt

2010, QTRONIC

10.1145/337180.337616

10.1109/FOSE.2007.25

krieger, 2008, Executing Underspecified OCL Operation Contracts with a SAT Solver, Proc Eighth Int'l Workshop OCL Concepts and Tools

mathur, 2008, Foundations of Software Testing

10.1007/978-1-84800-241-8_16

10.1049/ip-sen:20030559

10.1109/ICST.2008.32

10.1016/S0950-5849(01)00189-6

bao-lin, 2007, Test Case Automate Generation from UML Sequence Diagram and OCL Expression, Proc Int'l Conf Computational Intelligence and Security

benattou, 2002, Generating Test Data from OCL Specification, Proc ECOOP Workshop Integration and Transformation of UML Models

10.1109/ICSTW.2008.54

ahrendt, 2000, The KeY Approach: Integrating Object Oriented Design and Formal Verification, Proc European Workshop Logics in Artificial Intelligence, 10.1007/3-540-40006-0_3

10.1109/QSIC.2011.17

10.1109/TSE.2012.14

aertryck, 2003, UML-Casting: Test Synthesis from UML Models Using Constraint Resolution, Proceedings of AFADL Approches Formelles dans l'Assistance au De?veloppement de Logiciels

10.1002/stvr.354

10.1109/ICST.2012.94

10.1109/ICST.2012.92

10.1109/ICST.2011.54