Bernhard K. Aichernig, Florian Lorber & Dejan Ničkovi\'c (2013):
Time for Mutants — Model-Based Mutation Testing with Timed Automata.
In: David Hutchison et al.: Tests and Proofs,
Lecture Notes in Computer Science 7942.
Springer Berlin Heidelberg,
pp. 20–38,
doi:10.1007/978-3-642-38916-0_2.
Fevzi Belli, Christof J. Budnik & Lee White (2006):
Event-based modelling, analysis and testing of user interactions: approach and case study.
Software Testing, Verification and Reliability 16(1),
pp. 3–32,
doi:10.1002/stvr.335.
Fevzi Belli & Axel Hollmann (2008):
Test generation and minimization with basic statecharts.
In: Edward J. Delp & Ping Wah Wong: the 2008 ACM symposium vol. 5681.
SPIE and IS&T,
Bellingham and Wash and Springfield and Va,
pp. 718,
doi:10.1145/1363686.1363856.
Fevzi Belli, Axel Hollmann & Sascha Padberg (2011):
Model-Based Integration Testing with Communication Sequence Graphs.
In: Justyna Zander et al.: Model-based testing for embedded systems,
Computational analysis, synthesis, and design of dynamic systems.
CRC Press,
Boca Raton,
doi:10.1201/b11321-10.
Paul E. Black, Vadim Okun & Y. Yesha (2000):
Mutation operators for specifications.
In: ASE 2000 15th IEEE International Automated Software Engineering Conference,
pp. 81–88,
doi:10.1109/ASE.2000.873653.
Harald Cichos & Thomas S. Heinze (2011):
Efficient Reduction of Model-Based Generated Test Suites Through Test Case Pair Prioritization.
In: Proceedings of the 7th International Workshop on Model-Driven Engineering, Verification and Validation.
IEEE Computer Society Press,
Los Alamitos,
pp. 37–42,
doi:10.1007/978-3-642-21210-9_24.
Harald Cichos, Malte Lochau, Sebastian Oster & Andy Schürr (2012):
Reduktion von Testsuiten für Software-Produktlinien.
In: Stefan Jähnichen et al.: Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar - 2. März 2012 in Berlin,
LNI 198.
GI,
pp. 143–154.
Paul Clements & Linda Northrop (2009):
Software product lines: Practices and patterns,
7. print edition,
The SEI series in software engineering.
Addison-Wesley,
Boston Mass. u.a.
Krzysztof Czarnecki & Michal Antkiewicz (2005):
Mapping Features to Models: A Template Approach Based on Superimposed Variants.
In: Robert Glück: Generative programming and component engineering,
Lecture Notes in Computer Science 3676.
Springer,
Berlin [u.a.],
pp. 422–437,
doi:10.1007/11561347_28,.
Richard A. DeMillo (1980):
Mutation Analysis as a Tool for Software Quality Assurance.
In: COMPSAC'80.
Emelie Engström & Per Runeson (2011):
Software product line testing – A systematic mapping study.
Information and Software Technology 53(1),
pp. 2–13,
doi:10.1016/j.infsof.2010.05.011.
Sandra C. P. F. Fabbri, M. E. Delamaro, J. C. Maldonado & P. C. Masiero (1994):
Mutation analysis testing for finite state machines.
In: 1994 IEEE International Symposium on Software Reliability Engineering,
pp. 220–229,
doi:10.1109/ISSRE.1994.341378.
Hans Grönniger, Holger Krahn, Claas Pinkernell & Bernhard Rumpe (2008):
Modeling Variants of Automotive Systems using Views.
In: Thomas Kühne, Wolfgang Reisig & Friedrich Steimann: Tagungsband zur Modellierung 2008 (Berlin-Adlershof, Deutschland, 12-14. März 2008),
LNI.
Gesellschaft für Informatik,
Bonn.
Available at http://arxiv.org/abs/1409.6629.
Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein & Yves Le Traon (2013):
Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing.
In: ICSTW '13: IEEE 6th International Conference On Software Testing, Verification and Validation Workshops 2013,
pp. 188–197,
doi:10.1109/ICSTW.2013.30.
Yue Jia & Mark Harman (2009):
Higher Order Mutation Testing.
Inf. Softw. Technol. 51(10),
pp. 1379–1393,
doi:10.1016/j.infsof.2009.04.016.
Yue Jia & Mark Harman (2011):
An Analysis and Survey of the Development of Mutation Testing.
IEEE Transactions on Software Engineering 37(5),
pp. 649–678,
doi:10.1109/TSE.2010.62.
K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak & A. S. Peterson (1990):
Feature-Oriented Domain Analysis (FODA) Feasibility Study.
Available at http://www.sei.cmu.edu/reports/90tr021.pdf.
S. Kim, John A. Clark & J. A. Mcdermid (2000):
Class Mutation: Mutation Testing for Object-Oriented Programs.
In: FMES.
Hartmut Lackner, Martin Thomas, Florian Wartenberg & Stephan Weißleder (2014):
Model-Based Test Design of Product Lines: Raising Test Design to the Product Line Level.
In: ICST' 14: International Conference on Software Testing, Verification, and Validation,
pp. 51–60,
doi:10.1109/ICST.2014.16.
Malte Lochau, Ina Schaefer, Jochen Kamischke & Sascha Lity (2012):
Incremental Model-Based Testing of Delta-Oriented Software Product Lines.
In: David Hutchison et al.: Tests and Proofs,
Lecture Notes in Computer Science 7305.
Springer Berlin Heidelberg,
Berlin and Heidelberg,
pp. 67–82,
doi:10.1007/978-3-642-30473-6_7.
Object Management Group (OMG) (2011):
UML 2.4.1 Superstructure Specification.
Jeff Offutt (1992):
Investigations of the Software Testing Coupling Effect.
ACM Trans. Softw. Eng. Methodol. 1(1),
pp. 5–20,
doi:10.1145/125489.125473.
Jeff Offutt, Shaoying Liu, Aynur Abdurazik & Paul Ammann (2003):
Generating test data from state-based specifications.
The Journal of Software Testing, Verification and Reliability 13,
pp. 25–53,
doi:10.1002/stvr.264.
Jeff Offutt, Shaoying Liu, Aynur Abdurazik & Paul Ammann (2003):
Generating test data from state-based specifications.
The Journal of Software Testing, Verification and Reliability 13,
pp. 25–53,
doi:10.1002/stvr.264.
Jeff Offutt & Roland H. Untch (2001):
Mutation 2000: Uniting the Orthogonal.
In: W.Eric Wong: Mutation Testing for the New Century,
The Springer International Series on Advances in Database Systems 24.
Springer US,
pp. 34–44,
doi:10.1007/978-1-4757-5939-6_7.
Erika Mir Olimpiew & Hassan Gomaa (2005):
Model-Based Testing for Applications Derived from Software Product Lines.
ACM SIGSOFT Software Engineering Notes 30(4),
pp. 1–7,
doi:10.1145/1082983.1083279.
Sebastian Oster, Ivan Zorcic, Florian Markert & Malte Lochau (2011):
MoSo-PoLiTe: tool support for pairwise and model-based software product line testing.
In: VaMoS '11,
pp. 79–82,
doi:10.1145/1944892.1944901.
Klaus Pohl, Günter Böckle & Linden, Frank J. van der (2005):
Software Product Line Engineering: Foundations, Principles and Techniques.
Springer-Verlag New York, Inc,
Secaucus and NJ and USA,
doi:10.1007/3-540-28901-1.
Ina Schaefer (2010):
Variability Modelling for Model-Driven Development of Software Product Lines Systems, Linz, Austria, January 27-29, 2010. Proceedings.
In: D. Benavides, D. Batory & P. Grünbacher: Fourth International Workshop on Variability Modelling of Software-Intensive Systems, Linz, Austria, January 27-29, 2010. Proceedings,
ICB-Research Report 37.
Universität Duisburg-Essen,
pp. 85–92.
Martin Schmidt, Arif Wider, Markus Scheidgen, Joachim Fischer & Sebastian von Klinski (2013):
Refactorings in Language Development with Asymmetric Bidirectional Model Transformations.
In: Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi & Rick Reed: SDL 2013: Model-Driven Dependability Engineering - 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings,
Lecture Notes in Computer Science 7916.
Springer,
pp. 222–238,
doi:10.1007/978-3-642-38911-5_13.
Zoë Stephenson, Yuan Zhan, John Clark & John McDermid (2004):
Test Data Generation for Product Lines - A Mutation Testing Approach.
In: Birgit Geppert et al.: SPLiT '04: Proceedings of the International Workshop on Software Product Line Testing,
Boston and MA,
pp. 13–18.
Stephan Weißleder (2009):
Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation.
In: David Hutchison et al.: Model Driven Engineering Languages and Systems,
Lecture Notes in Computer Science 5795.
Springer Berlin Heidelberg,
Berlin and Heidelberg,
pp. 211–225,
doi:10.1007/978-3-642-04425-0_16.
M. R. Woodward (1993):
Errors in algebraic specifications and an experimental mutation testing tool.
Software Engineering Journal 8(4),
pp. 211,
doi:10.1049/sej.1993.0027.
eptcs@eptcs.org