{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T18:31:36Z","timestamp":1725820296059},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319175232"},{"type":"electronic","value":"9783319175249"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-17524-9_15","type":"book-chapter","created":{"date-parts":[[2015,4,7]],"date-time":"2015-04-07T06:15:31Z","timestamp":1428387331000},"page":"204-218","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["A Little Language for Testing"],"prefix":"10.1007","author":[{"given":"Alex","family":"Groce","sequence":"first","affiliation":[]},{"given":"Jervis","family":"Pinto","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,4,8]]},"reference":[{"key":"15_CR1","unstructured":"http:\/\/www.cs.cmu.edu\/~modelcheck\/cbmc\/"},{"key":"15_CR2","unstructured":"JPF: the swiss army knife of Java(TM) verification. http:\/\/babelfish.arc.nasa.gov\/trac\/jpf"},{"key":"15_CR3","unstructured":"JUnit. http:\/\/junit.sourceforce.net"},{"key":"15_CR4","unstructured":"Andrews, J., Zhang, Y.R., Groce, A.: Comparing automated unit testing strategies. Technical Report 736, Department of Computer Science, University of Western Ontario, December 2010"},{"issue":"8","key":"15_CR5","doi-asserted-by":"publisher","first-page":"711","DOI":"10.1145\/6424.315691","volume":"29","author":"J Bentley","year":"1986","unstructured":"Bentley, J.: Programming pearls: little languages. Communications of the ACM 29(8), 711\u2013721 (1986)","journal-title":"Communications of the ACM"},{"key":"15_CR6","unstructured":"Cadar, C., Dunbar, D., Engler, D.: KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In: Operating System Design and Implementation, pp. 209\u2013224 (2008)"},{"volume-title":"Domain-Specific Languages","year":"2010","author":"M Fowler","key":"15_CR7","unstructured":"Fowler, M.: Domain-Specific Languages. Addison-Wesley Professional, (2010)"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Fraser, G., Arcuri, A.: Evosuite: automatic test suite generation for object-oriented software. In: Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, pp. 416\u2013419. ESEC\/FSE \u201911, ACM (2011)","DOI":"10.1145\/2025113.2025179"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Giannakopoulou, D., Howar, F., Isberner, M., Lauderdale, T., Rakamari\u0107, Z., Raman, V.: Taming test inputs for separation assurance. In: International Conference on Automated Software Engineering, pp. 373\u2013384 (2014)","DOI":"10.1145\/2642937.2642940"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Gligoric, M., Gvero, T., Jagannath, V., Khurshid, S., Kuncak, V., Marinov, D.: Test generation through programming in udita. In: International Conference on Software Engineering, pp. 225\u2013234 (2010)","DOI":"10.1145\/1806799.1806835"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Groce, A., Alipour, M.A., Zhang, C., Chen, Y., Regehr, J.: Cause reduction for quick testing. In: Software Testing, Verification and Validation (ICST), 2014 IEEE Seventh International Conference on, pp. 243\u2013252. IEEE (2014)","DOI":"10.1109\/ICST.2014.37"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Groce, A., Erwig, M.: Finding common ground: choose, assert, and assume. In: Workshop on Dynamic Analysis, pp. 12\u201317 (2012)","DOI":"10.1145\/2338966.2336800"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Groce, A., Fern, A., Erwig, M., Pinto, J., Bauer, T., Alipour, A.: Learning-based test programming for programmers, pp. 752\u2013786 (2012)","DOI":"10.1007\/978-3-642-34026-0_42"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Groce, A., Fern, A., Pinto, J., Bauer, T., Alipour, A., Erwig, M., Lopez, C.: Lightweight automated testing with adaptation-based programming. In: IEEE International Symposium on Software Reliability Engineering, pp. 161\u2013170 (2012)","DOI":"10.1109\/ISSRE.2012.1"},{"issue":"4","key":"15_CR15","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/s10472-014-9408-8","volume":"70","author":"A Groce","year":"2014","unstructured":"Groce, A., Havelund, K., Holzmann, G., Joshi, R., Xu, R.G.: Establishing flight software reliability: Testing, model checking, constraint-solving, monitoring and learning. Annals of Mathematics and Artificial Intelligence 70(4), 315\u2013349 (2014)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Groce, A., Havelund, K., Smith, M.: From scripts to specifications: The evolution of a flight software testing effort. In: International Conference on Software Engineering, pp. 129\u2013138 (2010)","DOI":"10.1145\/1810295.1810314"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Groce, A., Holzmann, G., Joshi, R.: Randomized differential testing as a prelude to formal verification. In: International Conference on Software Engineering, pp. 621\u2013631 (2007)","DOI":"10.1109\/ICSE.2007.68"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Groce, A., Joshi, R.: Random testing and model checking: Building a common framework for nondeterministic exploration. In: Workshop on Dynamic Analysis, pp. 22\u201328 (2008)","DOI":"10.1145\/1401827.1401833"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Groce, A., Zhang, C., Alipour, M.A., Eide, E., Chen, Y., Regeher, J.: Help, help, I\u2019m being suppressed! the significance of suppressors in software testing. In: IEEE International Symposium on Software Reliability Engineering, pp. 390\u2013399 (2013)","DOI":"10.1109\/ISSRE.2013.6698892"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Groce, A., Zhang, C., Eide, E., Chen, Y., Regehr, J.: Swarm testing. In: International Symposium on Software Testing and Analysis, pp. 78\u201388 (2012)","DOI":"10.1145\/2338965.2336763"},{"key":"15_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-540-24732-6_6","volume-title":"Model Checking Software","author":"GJ Holzmann","year":"2004","unstructured":"Holzmann, G.J., Joshi, R.: Model-driven software verification. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol. 2989, pp. 76\u201391. Springer, Heidelberg (2004)"},{"issue":"3\u20134","key":"15_CR22","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/s10515-008-0033-9","volume":"15","author":"G Holzmann","year":"2008","unstructured":"Holzmann, G., Joshi, R., Groce, A.: Model driven code checking. Automated Software Engineering 15(3\u20134), 283\u2013297 (2008)","journal-title":"Automated Software Engineering"},{"volume-title":"The SPIN Model Checker: Primer and Reference Manual","year":"2003","author":"GJ Holzmann","key":"15_CR23","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, (2003)"},{"key":"15_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-540-24730-2_15","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E Clarke","year":"2004","unstructured":"Clarke, E., Kroning, D., Lerda, F.: A tool for checking ANSI-C programs. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 168\u2013176. Springer, Heidelberg (2004)"},{"issue":"1","key":"15_CR25","first-page":"100","volume":"10","author":"W McKeeman","year":"1998","unstructured":"McKeeman, W.: Differential testing for software. Digital Technical Journal of Digital Equipment Corporation 10(1), 100\u2013107 (1998)","journal-title":"Digital Technical Journal of Digital Equipment Corporation"},{"key":"15_CR26","doi-asserted-by":"crossref","unstructured":"Milicevic, A., Misailovic, S., Marinov, D., Khurshid, S.: Korat: A tool for generating structurally complex test inputs. In: International Conference on Software Engineering, pp. 771\u2013774 (2007)","DOI":"10.1109\/ICSE.2007.48"},{"key":"15_CR27","doi-asserted-by":"crossref","unstructured":"Pacheco, C., Lahiri, S.K., Ernst, M.D., Ball, T.: Feedback-directed random test generation. In: International Conference on Software Engineering, pp. 75\u201384 (2007)","DOI":"10.1109\/ICSE.2007.37"},{"issue":"2","key":"15_CR28","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/A:1022920129859","volume":"10","author":"W Visser","year":"2003","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S., Lerda, F.: Model checking programs. Automated Software Engineering 10(2), 203\u2013232 (2003)","journal-title":"Automated Software Engineering"},{"key":"15_CR29","doi-asserted-by":"crossref","unstructured":"Visser, W., P\u0103s\u0103reanu, C., Pelanek, R.: Test input generation for Java containers using state matching. In: International Symposium on Software Testing and Analysis, pp. 37\u201348 (2006)","DOI":"10.1145\/1146238.1146243"},{"issue":"2","key":"15_CR30","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1109\/32.988498","volume":"28","author":"A Zeller","year":"2002","unstructured":"Zeller, A., Hildebrandt, R.: Simplifying and isolating failure-inducing input. Software Engineering, IEEE Transactions on 28(2), 183\u2013200 (2002)","journal-title":"Software Engineering, IEEE Transactions on"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-17524-9_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T14:48:24Z","timestamp":1675262904000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-17524-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319175232","9783319175249"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-17524-9_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"8 April 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}