Towards Parallel Model Generation for Random Performance Testing of Model-Oriented Operations
暂无分享,去创建一个
Yi Liu | Tian Zhang | Wenfeng Li | Xiao He | Tian Zhang | Yi Liu | Xiao He | Wenfeng Li
[1] James F. Power,et al. A Metamodel for the Measurement of Object-Oriented Systems: An Analysis using Alloy , 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.
[2] Benoit Baudry,et al. On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing , 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.
[3] Jim Steel,et al. Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool , 2006, 2006 17th International Symposium on Software Reliability Engineering.
[4] Jordi Cabot,et al. ATLTest: a white-box test generation approach for ATL transformations , 2012, MODELS'12.
[5] Indrakshi Ray,et al. On challenges of model transformation from UML to Alloy , 2008, Software & Systems Modeling.
[6] Robert Wille,et al. Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models , 2011, TAP@TOOLS.
[7] Gabriele Taentzer,et al. Generating Instance Models from Meta Models , 2006, FMOODS.
[8] Alexis Darrasse,et al. Uniform Random Generation of Huge Metamodel Instances , 2009, ECMDA-FA.
[9] Jordi Cabot,et al. EMFtoCSP: A tool for the lightweight verification of EMF models , 2012, 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA).
[10] Daniel Jackson,et al. Alcoa: the Alloy constraint analyzer , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
[11] Martin Gogolla,et al. Verifying UML/OCL models using Boolean satisfiability , 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).
[12] He Xiao,et al. Randomized Model Generation for Performance Testing of Model Transformations , 2014, 2014 IEEE 38th Annual Computer Software and Applications Conference.
[13] Guy Louchard,et al. Boltzmann Samplers for the Random Generation of Combinatorial Structures , 2004, Combinatorics, Probability and Computing.
[14] Krzysztof R. Apt,et al. Constraint logic programming using Eclipse , 2007 .
[15] Jordi Cabot Sagrera,et al. Verification of UML/OCL Class Diagrams Using Constraint Programming , 2008 .