{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:51:33Z","timestamp":1725889893914},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642361760"},{"type":"electronic","value":"9783642361777"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36177-7_7","type":"book-chapter","created":{"date-parts":[[2013,1,2]],"date-time":"2013-01-02T06:25:26Z","timestamp":1357107926000},"page":"108-120","source":"Crossref","is-referenced-by-count":1,"title":["Combined Constraint-Based Analysis for Efficient Software Regression Detection in Evolving Programs"],"prefix":"10.1007","author":[{"given":"Anh D.","family":"Le","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tho T.","family":"Quan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nguyen T.","family":"Huynh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phung H.","family":"Nguyen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nhat-Van","family":"Le","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Beckman, N.E., Nori, A.V., Rajamani, S.K., Simmons, R.J., Tetali, S.D., Thakur, A.V.: Proofs from Tests. IEEE Transactions on Software Engineering (2012)"},{"key":"7_CR2","unstructured":"Bj\u00f8rner, N., Moura, L.D.: Z310: Applications, Enablers, Challenges and Directions. In: Proceedings of Workshop on Constraints in Formal Verification (2009)"},{"key":"7_CR3","unstructured":"Cadar, C., Dunbar, D., Engler, D.R.: Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs. In: USENIX Symposium on Operating Systems Design and Implementations (2008)"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: DART: Directed automated random testing. In: Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, vol.\u00a040(6), pp. 213\u2013223. ACM (2005), doi:10.1145\/1065010.1065036","DOI":"10.1145\/1065010.1065036"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Godefroid, P.: Random testing for security: blackbox vs. whitebox fuzzing. In: Proceedings of the 2nd International Workshop on Random Testing: Co-located with the 22nd IEEE\/ACM International Conference on Automated Software Engineering, p. 1. ACM (2007), doi:10.1145\/1292414.1292416","DOI":"10.1145\/1292414.1292416"},{"key":"7_CR6","unstructured":"Hutcheson, M.L.: Software Testing Fundamentals-Methods and Metrics. Wiley Publishing (2003)"},{"issue":"7","key":"7_CR7","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"J.C. King","year":"1976","unstructured":"King, J.C.: Symbolic execution and program testing. Communications of the ACM\u00a019(7), 385\u2013394 (1976), doi:10.1145\/360248.360252","journal-title":"Communications of the ACM"},{"key":"7_CR8","series-title":"IFIP AICT","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-642-13244-5_16","volume-title":"Open Source Software: New Horizons","author":"S. Morasca","year":"2010","unstructured":"Morasca, S., Taibi, D., Tosi, D.: T-DOC: A Tool for the Automatic Generation of Testing Documentation for OSS Products. In: \u00c5gerfalk, P., Boldyreff, C., Gonz\u00e1lez-Barahona, J.M., Madey, G.R., Noll, J. (eds.) OSS 2010. IFIP AICT, vol.\u00a0319, pp. 200\u2013213. Springer, Heidelberg (2010)"},{"key":"7_CR9","unstructured":"Orso, A., Harrold, M.J., Rosenblum, D., Rothermel, G., Soffa, M.L., Do, H.: Using component metacontent to support the regression testing of component-based software. In: Proceedings of IEEE International Conference on Software Maintenance (2001)"},{"key":"7_CR10","volume-title":"Software Engineering: A Practitioner\u2019s Approach","author":"R. Pressman","year":"2001","unstructured":"Pressman, R.: Software Engineering: A Practitioner\u2019s Approach. McGraw Hill, Boston (2001)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Qi, D., Roychoudhury, A., Liang, Z.: Test generation to expose changes in evolving programs. In: Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering, pp. 397\u2013406. ACM (2010), doi:10.1145\/1858996.1859083","DOI":"10.1145\/1858996.1859083"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Sen, K., Marinov, D., Agha, G.: CUTE: a concolic unit testing engine for C. In: Proceedings of the 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, vol.\u00a030(5), pp. 263\u2013272. ACM (2005), doi:10.1145\/1081706.1081750","DOI":"10.1145\/1081706.1081750"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/11817963_38","volume-title":"Computer Aided Verification","author":"K. Sen","year":"2006","unstructured":"Sen, K., Agha, G.: CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol.\u00a04144, pp. 419\u2013423. Springer, Heidelberg (2006)"},{"key":"7_CR14","volume-title":"Software Testing Foundations","author":"A. Spillner","year":"2006","unstructured":"Spillner, A., Linz, T., Schaefer, H.: Software Testing Foundations. Rocky Nook, California (2006)"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Wang, T., Roychoudhury, A.: Dynamic slicing on java bytecode traces. ACM Transactions on Programming Languages and Systems\u00a030(2) (2008), doi:10.1145\/1330017.1330021","DOI":"10.1145\/1330017.1330021"},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/11408901_21","volume-title":"Dependable Computing - EDCC 2005","author":"N. Williams","year":"2005","unstructured":"Williams, N., Marre, B., Mouy, P., Roger, M.: PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis. In: Dal Cin, M., Ka\u00e2niche, M., Pataricza, A. (eds.) EDCC 2005. LNCS, vol.\u00a03463, pp. 281\u2013292. Springer, Heidelberg (2005)"}],"container-title":["Communications in Computer and Information Science","Software and Data Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36177-7_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T13:36:04Z","timestamp":1620135364000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36177-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642361760","9783642361777"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36177-7_7","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}