{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,7]],"date-time":"2023-01-07T06:16:36Z","timestamp":1673072196312},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2011,6,1]],"date-time":"2011-06-01T00:00:00Z","timestamp":1306886400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Syst Assur Eng Manag"],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1007\/s13198-011-0068-3","type":"journal-article","created":{"date-parts":[[2011,9,6]],"date-time":"2011-09-06T13:26:29Z","timestamp":1315315589000},"page":"97-113","source":"Crossref","is-referenced-by-count":3,"title":["KeYGenU: combining verification-based and capture and replay techniques for regression unit testing"],"prefix":"10.1007","volume":"2","author":[{"given":"Bernhard","family":"Beckert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Gladisch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shmuel","family":"Tyszberowicz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amiram","family":"Yehudai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,9,7]]},"reference":[{"key":"68_CR45","unstructured":"AspectJ. http:\/\/www.eclipse.org\/aspectj . Visited May 2011"},{"key":"68_CR1","doi-asserted-by":"crossref","unstructured":"Beckert B, Gladisch C (2007) White-box testing by combining deduction-based specification extraction and black-box testing. In: Gurevich Y, Meyer B (eds) Proceedings, tests and proofs, first international conference, TAP 2007, Zurich, Switzerland, volume 4454 of LNCS. Springer, pp 207\u2013216","DOI":"10.1007\/978-3-540-73770-4_12"},{"key":"68_CR2","doi-asserted-by":"crossref","unstructured":"Beckert B, H\u00e4hnle R, Schmitt PH (eds) (2007) Verification of object-oriented software: the KeY approach. LNCS 4334. Springer","DOI":"10.1007\/978-3-540-69061-0"},{"key":"68_CR3","doi-asserted-by":"crossref","unstructured":"Burdy L, Requet A, Lanet J-L (2003) Java applet correctness: a developer-oriented approach. In: Araki K, Gnesi S, Mandrioli D (eds) Formal methods, international symposium of formal methods Europe, FME 2003, Pisa, Italy, volume 2805 of LNCS. Springer, pp 422\u2013439","DOI":"10.1007\/978-3-540-45236-2_24"},{"key":"68_CR4","unstructured":"Burstall RM (1974) Program proving as hand simulation with a little induction. In: Information processing \u201974. Elsevier\/North-Holland, pp 308\u2013312"},{"key":"68_CR5","unstructured":"Clifton M (2004) Advanced unit test, part V\u2014unit test patterns, January (2004). http:\/\/www.codeproject.com\/gen\/design\/autp5.asp . Visited May 2011"},{"key":"68_CR6","unstructured":"Cok DR, Kiniry J (2004) ESC\/Java2: uniting ESC\/Java and JML. In: Barthe G, Burdy L, Huisman M, Lanet J-L, Muntean T (eds) Proceedings, construction and analysis of safe, secure, and interoperable smart devices, international workshop, CASSIS 2004, Marseille, France, volume 3362 of LNCS. Springer, pp 108\u2013128"},{"key":"68_CR7","doi-asserted-by":"crossref","unstructured":"Deng X, Robby, Hatcliff J (2006) Kiasan: a verification and test-case generation framework for Java based on symbolic execution. In: Proceedings, leveraging applications of formal methods, second international symposium, ISoLA 2006, Paphos, Cyprus. IEEE Computer Society, pp 137\u2013137","DOI":"10.1109\/ISoLA.2006.60"},{"key":"68_CR8","doi-asserted-by":"crossref","unstructured":"Deng X, Robby, Hatcliff J (2007) Kiasan\/KUnit: automatic test case generation and analysis feedback for open object-oriented systems. In: TAICPART-MUTATION \u201907: Proceedings of the testing: academic and industrial conference practice and research techniques\u2014MUTATION. Washington, DC, USA. IEEE Computer Society, pp 3\u201312","DOI":"10.1109\/TAIC.PART.2007.32"},{"key":"68_CR9","doi-asserted-by":"crossref","unstructured":"du Bousquet L, Ledru Y, Maury O, Oriat C, Lanet J-L (2004) Case study in JML-based software validation. In: Proceedings, 19th IEEE international conference on automated software engineering, ASE 2004, Linz, Austria. IEEE Computer Society, pp 294\u2013297","DOI":"10.1109\/ASE.2004.1342750"},{"key":"68_CR46","unstructured":"EclEmma. http:\/\/www.eclemma.org . Visited May 2011"},{"key":"68_CR10","doi-asserted-by":"crossref","unstructured":"Elbaum S, Chin H, Dwyer M, Dokulil J (2006) Carving differential unit test cases from system test cases. In: Young M, Devanbu PT (eds.) Proceedings of the 14th ACM SIGSOFT international symposium on foundations of software engineering, FSE 2006, Portland, OR, USA. ACM, pp 253\u2013264","DOI":"10.1145\/1181775.1181806"},{"key":"68_CR11","doi-asserted-by":"crossref","unstructured":"Elbaum SG, Chin HN, Dwyer MB, Jorde M (2009) Carving and replaying differential unit test cases from system test cases. IEEE Trans Softw Eng 35(1):29\u201345","DOI":"10.1109\/TSE.2008.103"},{"key":"68_CR12","unstructured":"Elssamadisy A (2009) Agile adoption patterns: a roadmap to organizational success. Pearson education"},{"key":"68_CR14","unstructured":"Engel C, H\u00e4hnle R (2007) Generating unit tests from formal proofs In: Gurevich Y, Meyer B (eds) Proceedings, tests and proofs, first international conference, TAP 2007, Zurich, Switzerland, volume. 4454 of LNCS. Springer, pp 169\u2013188"},{"key":"68_CR13","doi-asserted-by":"crossref","unstructured":"Engel C, Gladisch C, Klebanov V, R\u00fcmmer P (2008) Integrating verification and testing of object-oriented software. In: Beckert B, H\u00e4hnle R (eds) Proceedings, tests and proofs, second international conference, TAP 2008, Prato, Italy, volume 4966 of LNCS. Springer, pp 182\u2013191","DOI":"10.1007\/978-3-540-79124-9_13"},{"key":"68_CR15","unstructured":"Ernst MD (2004) Static and dynamic analysis: synergy and duality. In: Flanagan C, Zeller A (eds.) Proceedings of the 2004 ACM SIGPLAN-SIGSOFT workshop on program analysis for software tools and engineering, PASTE\u201904. Washington, DC, USA. ACM, p 35"},{"key":"68_CR47","unstructured":"Extreme Programming. http:\/\/www.extremeprogramming.org . Visited May 2011"},{"key":"68_CR16","unstructured":"Fowler M (2000) Refactoring: Improving the Design of Existing Code. Addison-Wesley"},{"key":"68_CR17","doi-asserted-by":"crossref","unstructured":"Gladisch C (2008) Verification-based testing for full feasible branch coverage. In: Cerone A, Gruner S (eds) Proceedings, sixth IEEE international conference on software engineering and formal methods, SEFM 2008, Cape Town, South Africa. IEEE Computer Society, pp 159\u2013168","DOI":"10.1109\/SEFM.2008.22"},{"key":"68_CR18","unstructured":"Gladisch C (2011) Verification-based software-fault detection. PhD thesis, Karlsruhe Institute of Technology (KIT). http:\/\/digbib.ubka.uni-karlsruhe.de\/volltexte\/1000023056"},{"key":"68_CR19","doi-asserted-by":"crossref","unstructured":"Gladisch C, Tyszberowicz SS, Beckert B, Yehudai A (2010) Generating regression unit tests using a combination of verification and capture & replay. In: Proceedings, tests and proofs, 4th international conference, TAP2010, M\u00e1laga, Spain, volume 6143 of LNCS. Springer, pp 61\u201376","DOI":"10.1007\/978-3-642-13977-2_7"},{"issue":"2","key":"68_CR20","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1145\/367008.367020","volume":"10","author":"TL Graves","year":"2001","unstructured":"Graves TL, Harrold MJ, Kim J-M, Porter A, Rothermel G (2001) An empirical study of regression test selection techniques. TOSEM 10(2):184\u2013208","journal-title":"TOSEM"},{"key":"68_CR21","doi-asserted-by":"crossref","unstructured":"Hamill P (2004) Unit test frameworks. O\u2019Reilly","DOI":"10.1145\/1022365.1022360"},{"key":"68_CR22","doi-asserted-by":"crossref","unstructured":"Harel D, Kozen D, Tiuryn J (2000) Dynamic logic. MIT Press","DOI":"10.7551\/mitpress\/2516.001.0001"},{"issue":"11","key":"68_CR23","doi-asserted-by":"crossref","first-page":"312","DOI":"10.1145\/504311.504305","volume":"36","author":"MJ Harrold","year":"2001","unstructured":"Harrold MJ, Jones JA, Li T, Liang D, Orso A, Pennings M, Sinha S, Spoon SA, Gujarathi A (2001) Regression test selection for Java software. SIGPLAN Not 36(11):312\u2013326","journal-title":"SIGPLAN Not"},{"key":"68_CR24","doi-asserted-by":"crossref","unstructured":"Heisel M, Reif W, Stephan W (1987) Program verification by symbolic execution and induction. In: Morik K (ed) Proceedings, 11th German workshop on artificial intelligence, GWAI 87, volume 152 of Informatik Fachberichte. Springer, pp 201\u2013210","DOI":"10.1007\/978-3-642-73005-4_22"},{"issue":"10","key":"68_CR25","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare CAR (1969) An axiomatic basis for computer programming. Commun ACM 12(10):576\u2013580","journal-title":"Commun ACM"},{"key":"68_CR48","unstructured":"HP WinRunner software. http:\/\/www.cbueche.de\/WinRunner%20User%20Guide.pdf . Visited May 2011"},{"key":"68_CR26","unstructured":"Husted T, Massol V (2003) JUnit in Action. Manning Publications Co."},{"key":"68_CR49","unstructured":"Intel VTune Performance Analyzer http:\/\/www.intel.com\/cd\/software\/products\/asmo-na\/eng\/239144.htm . Visited May 2011"},{"key":"68_CR50","unstructured":"JUnit. http:\/\/www.junit.org . Visited May 2011"},{"key":"68_CR27","unstructured":"Laddad R (2003) Aspect J in action: practical aspect-oriented programming. Manning"},{"key":"68_CR28","doi-asserted-by":"crossref","unstructured":"Larsson D, Mostowski W (2004) Specifying Java Card API in OCL. In: Schmitt PH (ed) OCL 2.0 workshop at UML 2003, volume 102 of ENTCS. Elsevier, pp. 3\u201319, November 2004","DOI":"10.1016\/j.entcs.2003.09.001"},{"key":"68_CR29","unstructured":"Mackinnon T, Freeman S, Craig P(2001) Endo-testing: unit testing with mock objects. In: Extreme programming examined. Addison-Wesley, pp 287\u2013301"},{"key":"68_CR30","unstructured":"Meyer B (1997) Design by contract: making object-oriented programs that work. In: Proceedings, TOOLS 1997: 25th international conference on technology of object-oriented languages and systems, Melbourne, Australia. IEEE Computer Society, p 360"},{"key":"68_CR31","doi-asserted-by":"crossref","unstructured":"Orso A, Kennedy B (2005) Selective capture and replay of program executions. In: Proceedings of the 2005 workshop on dynamic analysis. pp 1\u20137","DOI":"10.1145\/1083246.1083251"},{"issue":"4","key":"68_CR32","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/s10009-009-0115-4","volume":"11","author":"B Pasternak","year":"2009","unstructured":"Pasternak B, Tyszberowicz S, Yehudai A (2009) GenUTest: a unit test and mock aspect generation tool. J Softw Tools Technol Transfer 11(4):273\u2013290","journal-title":"J Softw Tools Technol Transfer"},{"key":"68_CR33","doi-asserted-by":"crossref","unstructured":"Saff D, Artzi S, Perkins JH, Ernst MD (2005) Automatic test factoring for Java. In: Redmiles DF, Ellman T, Zisman A (eds) Proceedings, 20th IEEE\/ACM international conference on automated software engineering, ASE 2005, Long Beach, CA, USA. ACM, pp 114\u2013123","DOI":"10.1145\/1101908.1101927"},{"key":"68_CR34","doi-asserted-by":"crossref","unstructured":"Smaragdakis Y, Csallner C (2007) Combining static and dynamic reasoning for bug detection. In: Gurevich Y, Meyer B (eds) Proceedings, tests and proofs, first international conference, TAP 2007, Zurich, Switzerland, volume 4454 of LNCS. Springer, pp 1\u201316","DOI":"10.1007\/978-3-540-73770-4_1"},{"key":"68_CR35","doi-asserted-by":"crossref","unstructured":"Steven J, Chandra P, Fleck B, Podgurski A (2000) jRapture: a Capture\/Replay tool for observation-based testing. In: Proceedings of the international symposium on software testing and analysis, pp 158\u2013167","DOI":"10.1145\/347324.348993"},{"key":"68_CR36","doi-asserted-by":"crossref","unstructured":"Strichman O (2009) Regression verification: proving the equivalence of similar programs. In: Bouajjani A, Maler O (eds) Proceedings, computer aided verification, 21st international conference, CAV 2009, Grenoble, France, volume 5643 of LNCS. Springer, pp 63\u201368","DOI":"10.1007\/978-3-642-02658-4_8"},{"key":"68_CR37","doi-asserted-by":"crossref","unstructured":"Taneja K, Xie T (2008) DiffGen: automated regression unit-test generation. In: Proceedings, 23rd IEEE\/ACM international conference on automated software engineering, ASE 2008, L\u2019Aquila, Italy. IEEE Computer Society","DOI":"10.1109\/ASE.2008.60"},{"key":"68_CR38","doi-asserted-by":"crossref","unstructured":"Tillmann N, de Halleux J (2008) Pex-white box test generation for NET. In: Beckert B, H\u00e4hnle R (eds) Proceedings, tests and proofs, second international conference, TAP 2008, Prato, Italy, volume 4966 of LNCS. Springer, pp 134\u2013153","DOI":"10.1007\/978-3-540-79124-9_10"},{"key":"68_CR39","unstructured":"Tonin I (2007) Verifying the Mondex Case Study\u2014the KeY approach. Technical Report ISSN: 1432-7864, Fakult\u00e4t f\u00fcr Informatik (Fak. f. Informatik) Institut f\u00fcr Theoretische Informatik (ITI)"},{"key":"68_CR40","unstructured":"The Verisoft Project. http:\/\/www.verisoft.de . Visited May 2011"},{"key":"68_CR41","doi-asserted-by":"crossref","unstructured":"Visser W, Pasareanu CS, Khurshid S (2004) Test input generation with Java PathFinder. In: Avrunin GS, Rothermel G (eds) Proceedings of the ACM\/SIGSOFT international symposium on software testing and analysis, ISSTA 2004, Boston, MA, USA. ACM, pp 97\u2013107","DOI":"10.1145\/1007512.1007526"},{"key":"68_CR42","doi-asserted-by":"crossref","unstructured":"Wenzel M, Paulson LC, Nipkow T (2008) The Isabelle framework. In: Mohamed OA, Mu\u00f1oz C, Tahar S (eds) Proceedings, theorem proving in higher order logics, 21st international conference, TPHOLs 2008, Montreal, Canada, volume 5170 of LNCS. Springer, pp 33\u201338","DOI":"10.1007\/978-3-540-71067-7_7"},{"key":"68_CR43","doi-asserted-by":"crossref","unstructured":"Xie T (2006) Augmenting automatically generated unit-test suites with regression oracle checking. In: Thomas D (ed) Proceedings, European conference object-oriented programming, ECOOP, Nantes, France, volume 4067 of LNCS. Springer, pp 380\u2013403","DOI":"10.1007\/11785477_23"},{"key":"68_CR44","doi-asserted-by":"crossref","unstructured":"Yuan H, Xie T (2006) Substra: a framework for automatic generation of integration tests. In: Zhu H, Horgan JR, Cheung S-C, Li JJ (eds) Proceedings of the 2006 international workshop on automation of software test, AST 2006, Shanghai, China. ACM, pp 64\u201370","DOI":"10.1145\/1138929.1138942"}],"container-title":["International Journal of System Assurance Engineering and Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13198-011-0068-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13198-011-0068-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13198-011-0068-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T21:04:40Z","timestamp":1560546280000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13198-011-0068-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":50,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,6]]}},"alternative-id":["68"],"URL":"https:\/\/doi.org\/10.1007\/s13198-011-0068-3","relation":{},"ISSN":["0975-6809","0976-4348"],"issn-type":[{"value":"0975-6809","type":"print"},{"value":"0976-4348","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,6]]}}}