@incollection(Aichernig.2013, author = "Bernhard K. Aichernig and Florian Lorber and Dejan Ni{\v {c}}kovi{\'c}", year = "2013", title = "{T}ime for {M}utants --- {M}odel-{B}ased {M}utation {T}esting with {T}imed {A}utomata", editor = "David Hutchison et al.", booktitle = "{T}ests and {P}roofs", series = "Lecture Notes in Computer Science", volume = "7942", publisher = "Springer Berlin Heidelberg", pages = "20--38", doi = "{10.1007/978-3-642-38916-0\_2}", ) @article(Belli.2006, author = "Fevzi Belli and Christof J. Budnik and Lee White", year = "2006", title = "{E}vent-based modelling, analysis and testing of user interactions: approach and case study", journal = "Software Testing, Verification and Reliability", volume = "16", number = "1", pages = "3--32", doi = "{10.1002/stvr.335}", ) @inproceedings(Belli.2008, author = "Fevzi Belli and Axel Hollmann", year = "2008", title = "{T}est generation and minimization with basic statecharts", editor = "Edward J. Delp and Ping Wah Wong", booktitle = "the 2008 {A}{C}{M} symposium", volume = "vol. 5681", publisher = "SPIE and IS{\&}T", address = "Bellingham and Wash and Springfield and Va", pages = "718", doi = "{10.1145/1363686.1363856}", ) @incollection(Belli.2011, author = "Fevzi Belli and Axel Hollmann and Sascha Padberg", year = "2011", title = "{M}odel-{B}ased {I}ntegration {T}esting with {C}ommunication {S}equence {G}raphs", editor = "Justyna Zander et al.", booktitle = "{M}odel-based testing for embedded systems", series = "Computational analysis, synthesis, and design of dynamic systems", publisher = "CRC Press", address = "Boca Raton", doi = "10.1201/b11321-10", ) @inproceedings(Black.2000, author = "Paul E. Black and Vadim Okun and Y. Yesha", year = "2000", title = "{M}utation operators for specifications", booktitle = "{A}{S}{E} 2000 15th {I}{E}{E}{E} {I}nternational {A}utomated {S}oftware {E}ngineering {C}onference", pages = "81--88", doi = "10.1109/ASE.2000.873653", ) @inproceedings(Cichos.2011, author = "Harald Cichos and Thomas S. Heinze", year = "2011", title = "{E}fficient {R}eduction of {M}odel-{B}ased {G}enerated {T}est {S}uites {T}hrough {T}est {C}ase {P}air {P}rioritization", booktitle = "{P}roceedings of the 7th {I}nternational {W}orkshop on {M}odel-{D}riven {E}ngineering, {V}erification and {V}alidation", publisher = "IEEE Computer Society Press", address = "Los Alamitos", pages = "37--42", doi = "10.1007/978-3-642-21210-9\_24", ) @inproceedings(Cichos.2012, author = "Harald Cichos and Malte Lochau and Sebastian Oster and Andy Sch{\"u}rr", year = "2012", title = "{R}eduktion von {T}estsuiten f{\"u}r {S}oftware-{P}roduktlinien", editor = "Stefan J{\"a}hnichen et al.", booktitle = "{S}oftware {E}ngineering 2012: {F}achtagung des {G}{I}-{F}achbereichs {S}oftwaretechnik, 27. {F}ebruar - 2. {M}{\"a}rz 2012 in {B}erlin", series = "LNI", volume = "198", publisher = "GI", pages = "143--154", ) @book(Clements.2009, author = "Paul Clements and Linda Northrop", year = "2009", title = "{S}oftware product lines: {P}ractices and patterns", edition = "7. print", series = "{T}he {S}{E}{I} series in software engineering", publisher = "Addison-Wesley", address = "Boston Mass. u.a", ) @incollection(Czarnecki.2005, author = "Krzysztof Czarnecki and Michal Antkiewicz", year = "2005", title = "{M}apping {F}eatures to {M}odels: {A} {T}emplate {A}pproach {B}ased on {S}uperimposed {V}ariants", editor = "Robert Gl{\"u}ck", booktitle = "{G}enerative programming and component engineering", series = "Lecture Notes in Computer Science", volume = "3676", publisher = "Springer", address = "Berlin [u.a.]", pages = "422--437", doi = "{10.1007/11561347\_28,}", ) @inproceedings(Demillo.1980, author = "Richard A. DeMillo", year = "1980", title = "{M}utation {A}nalysis as a {T}ool for {S}oftware {Q}uality {A}ssurance", booktitle = "COMPSAC'80", ) @article(Engstrom.2011c, author = "Emelie Engstr{\"o}m and Per Runeson", year = "2011", title = "{S}oftware product line testing -- {A} systematic mapping study", journal = "Information and Software Technology", volume = "53", number = "1", pages = "2--13", doi = "{10.1016/j.infsof.2010.05.011}", ) @inproceedings(Fabbri.1994, author = "Sandra C. P. F. Fabbri and M. E. Delamaro and J. C. Maldonado and P. C. Masiero", year = "1994", title = "{M}utation analysis testing for finite state machines", booktitle = "1994 {I}{E}{E}{E} {I}nternational {S}ymposium on {S}oftware {R}eliability {E}ngineering", pages = "220--229", doi = "10.1109/ISSRE.1994.341378", ) @inproceedings(Groher.2007, author = "Iris Groher and Markus Voelter", year = "2007", title = "{E}xpressing {F}eature-{B}ased {V}ariability in {S}tructural {M}odels", booktitle = "{W}orkshop on {M}anaging {V}ariability for {S}oftware {P}roduct {L}ines", url = "http://www.voelter.de/data/workshops/MVSPL\_GroherVoelter.pdf", ) @inproceedings(Gronniger.2008, author = "Hans Gr{\"o}nniger and Holger Krahn and Claas Pinkernell and Bernhard Rumpe", year = "2008", title = "{M}odeling {V}ariants of {A}utomotive {S}ystems using {V}iews", editor = "Thomas K{\"u}hne and Wolfgang Reisig and Friedrich Steimann", booktitle = "{T}agungsband zur {M}odellierung 2008 ({B}erlin-{A}dlershof, {D}eutschland, 12-14. {M}{\"a}rz 2008)", series = "LNI", publisher = "Gesellschaft f{\"u}r Informatik", address = "Bonn", url = "http://arxiv.org/abs/1409.6629", ) @inproceedings(Henard.2013, author = "Christopher Henard and Mike Papadakis and Gilles Perrouin and Jacques Klein and Yves Le Traon", year = "2013", title = "{A}ssessing {S}oftware {P}roduct {L}ine {T}esting {V}ia {M}odel-{B}ased {M}utation: {A}n {A}pplication to {S}imilarity {T}esting", booktitle = "{I}{C}{S}{T}{W} '13: {I}{E}{E}{E} 6th {I}nternational {C}onference {O}n {S}oftware {T}esting, {V}erification and {V}alidation {W}orkshops 2013", pages = "188--197", doi = "10.1109/ICSTW.2013.30", ) @article(Jia.2009, author = "Yue Jia and Mark Harman", year = "2009", title = "{H}igher {O}rder {M}utation {T}esting", journal = "Inf. Softw. Technol.", volume = "51", number = "10", pages = "1379--1393", doi = "{10.1016/j.infsof.2009.04.016}", ) @article(Jia.2011, author = "Yue Jia and Mark Harman", year = "2011", title = "{A}n {A}nalysis and {S}urvey of the {D}evelopment of {M}utation {T}esting", journal = "IEEE Transactions on Software Engineering", volume = "37", number = "5", pages = "649--678", doi = "{10.1109/TSE.2010.62}", ) @misc(Kang.1990, author = "K. C. Kang and S. G. Cohen and J. A. Hess and W. E. Novak and A. S. Peterson", year = "1990", title = "{F}eature-{O}riented {D}omain {A}nalysis ({F}{O}{D}{A}) {F}easibility {S}tudy", url = "http://www.sei.cmu.edu/reports/90tr021.pdf", ) @inproceedings(Kim.2000, author = "S. Kim and John A. Clark and J. A. Mcdermid", year = "2000", title = "{C}lass {M}utation: {M}utation {T}esting for {O}bject-{O}riented {P}rograms", booktitle = "{F}{M}{E}{S}", ) @incollection(Lackner.2014, author = "Hartmut Lackner and Martin Thomas and Florian Wartenberg and Stephan Wei{\ss }leder", year = "2014", title = "{M}odel-{B}ased {T}est {D}esign of {P}roduct {L}ines: {R}aising {T}est {D}esign to the {P}roduct {L}ine {L}evel", booktitle = "{I}{C}{S}{T}' 14: {I}nternational {C}onference on {S}oftware {T}esting, {V}erification, and {V}alidation", pages = "51--60", doi = "10.1109/ICST.2014.16", ) @incollection(Lochau.2012, author = "Malte Lochau and Ina Schaefer and Jochen Kamischke and Sascha Lity", year = "2012", title = "{I}ncremental {M}odel-{B}ased {T}esting of {D}elta-{O}riented {S}oftware {P}roduct {L}ines", editor = "David Hutchison et al.", booktitle = "{T}ests and {P}roofs", series = "Lecture Notes in Computer Science", volume = "7305", publisher = "Springer Berlin Heidelberg", address = "Berlin and Heidelberg", pages = "67--82", doi = "{10.1007/978-3-642-30473-6\_7}", ) @misc(ObjectManagementGroup(OMG).2011, author = "{Object Management Group (OMG)}", year = "2011", title = "{U}{M}{L} 2.4.1 {S}uperstructure {S}pecification", ) @article(Offutt.1992, author = "Jeff Offutt", year = "1992", title = "{I}nvestigations of the {S}oftware {T}esting {C}oupling {E}ffect", journal = "ACM Trans. Softw. Eng. Methodol.", volume = "1", number = "1", pages = "5--20", doi = "{10.1145/125489.125473}", ) @article(Offutt.2003, author = "Jeff Offutt and Shaoying Liu and Aynur Abdurazik and Paul Ammann", year = "2003", title = "{G}enerating test data from state-based specifications", journal = "The Journal of Software Testing, Verification and Reliability", volume = "13", pages = "25--53", doi = "10.1002/stvr.264", ) @article(JeffOffutt.2003, author = "Jeff Offutt and Shaoying Liu and Aynur Abdurazik and Paul Ammann", year = "2003", title = "{G}enerating test data from state-based specifications", journal = "The Journal of Software Testing, Verification and Reliability", volume = "13", pages = "25--53", doi = "10.1002/stvr.264", ) @incollection(Offutt.2001, author = "Jeff Offutt and Roland H. Untch", year = "2001", title = "Mutation 2000: Uniting the Orthogonal", editor = "W.Eric Wong", booktitle = "Mutation Testing for the New Century", series = "The Springer International Series on Advances in Database Systems", volume = "24", publisher = "Springer US", pages = "34--44", doi = "10.1007/978-1-4757-5939-6\_7", ) @article(Olimpiew.2005, author = "Erika Mir Olimpiew and Hassan Gomaa", year = "2005", title = "{M}odel-{B}ased {T}esting for {A}pplications {D}erived from {S}oftware {P}roduct {L}ines", journal = "ACM SIGSOFT Software Engineering Notes", volume = "30", number = "4", pages = "1--7", doi = "{10.1145/1082983.1083279}", ) @inproceedings(Oster.2011, author = "Sebastian Oster and Ivan Zorcic and Florian Markert and Malte Lochau", year = "2011", title = "{M}o{S}o-{P}o{L}i{T}e: tool support for pairwise and model-based software product line testing", booktitle = "{V}a{M}o{S} '11", pages = "79--82", doi = "10.1145/1944892.1944901", ) @book(Pohl.2005, author = "Klaus Pohl and G{\"u}nter B{\"o}ckle and {Linden, Frank J. van der}", year = "2005", title = "{S}oftware {P}roduct {L}ine {E}ngineering: {F}oundations, {P}rinciples and {T}echniques", publisher = "Springer-Verlag New York, Inc", address = "Secaucus and NJ and USA", doi = "10.1007/3-540-28901-1", ) @inproceedings(Schaefer.2010, author = "Ina Schaefer", year = "2010", title = "{V}ariability {M}odelling for {M}odel-{D}riven {D}evelopment of {S}oftware {P}roduct {L}ines {S}ystems, {L}inz, {A}ustria, {J}anuary 27-29, 2010. {P}roceedings", editor = "D. Benavides and D. Batory and P. Gr{\"u}nbacher", booktitle = "{F}ourth {I}nternational {W}orkshop on {V}ariability {M}odelling of {S}oftware-{I}ntensive {S}ystems, {L}inz, {A}ustria, {J}anuary 27-29, 2010. {P}roceedings", series = "ICB-Research Report", volume = "37", publisher = "Universit{\"a}t Duisburg-Essen", pages = "85--92", ) @inproceedings(Schmidt.2013, author = "Martin Schmidt and Arif Wider and Markus Scheidgen and Joachim Fischer and Sebastian von Klinski", year = "2013", title = "Refactorings in Language Development with Asymmetric Bidirectional Model Transformations", editor = "Ferhat Khendek and Maria Toeroe and Abdelouahed Gherbi and Rick Reed", booktitle = "{SDL} 2013: Model-Driven Dependability Engineering - 16th International {SDL} Forum, Montreal, Canada, June 26-28, 2013. Proceedings", series = "Lecture Notes in Computer Science", volume = "7916", publisher = "Springer", pages = "222--238", doi = "10.1007/978-3-642-38911-5\_13", ) @inproceedings(Stephenson.2004, author = "Zo{\"e} Stephenson and Yuan Zhan and John Clark and John McDermid", year = "2004", title = "{T}est {D}ata {G}eneration for {P}roduct {L}ines - {A} {M}utation {T}esting {A}pproach", editor = "Birgit Geppert et al.", booktitle = "{S}{P}{L}i{T} '04:~{P}roceedings of the {I}nternational {W}orkshop on {S}oftware {P}roduct {L}ine {T}esting", address = "Boston and MA", pages = "13--18", ) @incollection(Weileder.2009, author = "Stephan Wei{\ss }leder", year = "2009", title = "{I}nfluencing {F}actors in {M}odel-{B}ased {T}esting with {U}{M}{L} {S}tate {M}achines: {R}eport on an {I}ndustrial {C}ooperation", editor = "David Hutchison et al.", booktitle = "{M}odel {D}riven {E}ngineering {L}anguages and {S}ystems", series = "Lecture Notes in Computer Science", volume = "5795", publisher = "Springer Berlin Heidelberg", address = "Berlin and Heidelberg", pages = "211--225", doi = "{10.1007/978-3-642-04425-0\_16}", ) @article(Woodward.1993, author = "M. R. Woodward", year = "1993", title = "{E}rrors in algebraic specifications and an experimental mutation testing tool", journal = "Software Engineering Journal", volume = "8", number = "4", pages = "211", doi = "{10.1049/sej.1993.0027}", )