Last update: Sun Aug 5 02:03:07 MDT 2018
@Article{Ammann:2000:STM, author = "Paul Ammann", title = "System testing via mutation analysis of model checking specifications", journal = j-SIGSOFT, volume = "25", number = "1", pages = "33", month = jan, year = "2000", CODEN = "SFENDP", DOI = "https://doi.org/10.1145/340855.340862", ISSN = "0163-5948 (print), 1943-5843 (electronic)", ISSN-L = "0163-5948", bibdate = "Wed Aug 1 17:13:50 MDT 2018", bibsource = "http://www.math.utah.edu/pub/tex/bib/sigsoft2000.bib", acknowledgement = ack-nhfb, fjournal = "ACM SIGSOFT Software Engineering Notes", journal-URL = "https://dl.acm.org/citation.cfm?id=J728", }