{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:27:07Z","timestamp":1726406827160},"publisher-location":"Berlin, Heidelberg","reference-count":53,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540326045"},{"type":"electronic","value":"9783540326052"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11678779_9","type":"book-chapter","created":{"date-parts":[[2006,3,2]],"date-time":"2006-03-02T13:03:26Z","timestamp":1141304606000},"page":"116-133","source":"Crossref","is-referenced-by-count":0,"title":["An Extensible Open-Source Compiler Infrastructure for Testing"],"prefix":"10.1007","author":[{"given":"Dan","family":"Quinlan","sequence":"first","affiliation":[]},{"given":"Shmuel","family":"Ur","sequence":"additional","affiliation":[]},{"given":"Richard","family":"Vuduc","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Quinlan, D., Schordan, M., Yi, Q., Saebjornsen, A.: Classification and utilization of abstractions for optimization. In: Proc. 1st International Symposium on Leveraging Applications of Formal Methods, Paphos, Cyprus (October 2004)"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Schordan, M., Quinlan, D.: A source-to-source architecture for userdefined optimizations. In: Proc. Joint Modular Languages Conference (2003)","DOI":"10.1007\/978-3-540-45213-3_27"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Yi, Q., Quinlan, D.: Applying loop optimizations to object-oriented abstractions through general classification of array semantics. In: Proc. Workshop on Languages and Compilers for Parallel Computing, West Lafayette, Indiana, USA (September 2004)","DOI":"10.1007\/11532378_19"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Jackson, D., Rinard, M.: Software analysis: A roadmap. In: Proc. Conference on the Future of Software Engineering (International Conference on Software Engineering), Limerick, Ireland, pp. 133\u2013145 (2000)","DOI":"10.1145\/336512.336545"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Hovemeyer, D., Pugh, W.: Finding bugs is easy. SIGPLAN Notices (Proceedings of Onward! at OOPSLA 2004) (December 2004)","DOI":"10.1145\/1028664.1028717"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Engler, D., Musuvathi, M.: Static analysis versus software model checking for bug finding. In: Proc. International Conference on Verification, Model Checking, and Abstract Interpretation, Venice, Italy (2004)","DOI":"10.1007\/978-3-540-24622-0_17"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Edelstein, O., Farchi, E., Goldin, E., Nir, Y., Ratsaby, G., Ur, S.: Testing multithreaded Java programs. IBM Systems Journal: Special Issue on Software Testing (2002)","DOI":"10.1147\/sj.411.0111"},{"key":"9_CR8","unstructured":"Ur, S., Ziv., A.: Off-the-shelf vs. custom made coverage models, which is the one for you? In: Proc. International Conference on Software Testing Analysis and Review (May 1998)"},{"issue":"2","key":"9_CR9","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1145\/248233.248262","volume":"6","author":"G. Rothermel","year":"1997","unstructured":"Rothermel, G., Harrold, M.J.: A safe, efficient regression test selection technique. ACM Trans. Softw. Eng. Methodol.\u00a06(2), 173\u2013210 (1997)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/3-540-45614-7_3","volume-title":"FME 2002: Formal Methods - Getting IT Right","author":"G. Ratsaby","year":"2002","unstructured":"Ratsaby, G., Sterin, B., Ur, S.: Improvements in coverability analysis. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol.\u00a02391, pp. 41\u201356. Springer, Heidelberg (2002)"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Farchi, E., Harrington, B.R.: Assisting the code review process using simple pattern recognition. In: Proc. IBM Verification Conference, Haifa, Israel (November 2005)","DOI":"10.1007\/11678779_8"},{"key":"9_CR12","unstructured":"Bodin, F., Beckman, P., Gannon, D., Gotwals, J., Narayana, S., Srinivas, S., Winnicka, B.: Sage++: An object-oriented toolkit and class library for building fortran and C++ restructuring tools. In: Proceedings. OONSKI 1994, Oregon (1994)"},{"key":"9_CR13","unstructured":"Edison Design Group. EDG front-end, www.edg.com"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Jiang, L., Su, Z.: Osprey: A practical type system for validating the correctness of measurement units in C programs (2005)(submitted), wwwcsif.cs.ucdavis.edu\/~jiangl\/research.html","DOI":"10.1145\/1134285.1134323"},{"key":"9_CR15","unstructured":"NIST. The economic impacts of inadequate infrastructure for software testing. Technical Report Planning Report 02-3, National Institute of Standards and Technology (May 2002)"},{"key":"9_CR16","volume-title":"The C++ programming language","author":"B. Stroustrop","year":"2000","unstructured":"Stroustrop, B.: The C++ programming language, 3rd edn. Addison-Wesley, Reading (2000)","edition":"3"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Lam, M.S., Amarasinghe, S.P., Anderson, J.M., Tseng, C.W.: The suif compiler for scalable parallel machines. In: Proc. SIAM Conference on Parallel Processing for Scientific Computing (Febuary 1995)","DOI":"10.1007\/3-540-57659-2_15"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Silber, G.A., Darte, A.: The Nestor library: A tool for implementing Fortran source to source transformations. In: LNCS, vol.\u00a0D9(1593) (1999)","DOI":"10.1007\/BFb0100626"},{"key":"9_CR19","unstructured":"Free Software Foundation. GNU Compiler Collection (2005), gcc.gnu.org"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Chiba, S.: Macro processing in object-oriented languages. In: TOOLS Pacific 1998, Technology of Object-Oriented Languages and Systems (1998)","DOI":"10.1109\/TOOLS.1998.750029"},{"key":"9_CR21","unstructured":"Ishikawa, Y., Hori, A., Sato, M., Matsuda, M., Nolte, J., Tezuka, H., Konaka, H., Maeda, M., Kubota, K.: Design and implementation of metalevel architecture in C++\u2014MPC++ approach. In: Proc. Reflection 1996 Conference (April 1996)"},{"issue":"13","key":"9_CR22","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1016\/S0950-5849(02)00122-2","volume":"44","author":"S. Schupp","year":"2002","unstructured":"Schupp, S., Gregor, D., Musser, D., Liu, S.-M.: Semantic and behavioral library transformations. Information and Software Technology\u00a044(13), 797\u2013810 (2002)","journal-title":"Information and Software Technology"},{"key":"9_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-24723-4_6","volume-title":"Compiler Construction","author":"S. McPeak","year":"2004","unstructured":"McPeak, S., Necula, G.C.: Elkhound: A fast, practical GLR parser generator. In: Duesterwald, E. (ed.) CC 2004. LNCS, vol.\u00a02985, pp. 73\u201388. Springer, Heidelberg (2004)"},{"key":"9_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1007\/978-3-540-69330-7_33","volume-title":"Languages and Compilers for Parallel Computing","author":"B. Stroustrop","year":"2006","unstructured":"Stroustrop, B., Reis, G.D.: Supporting SELL for high-performance computing. In: Ayguad\u00e9, E., Baumgartner, G., Ramanujam, J., Sadayappan, P. (eds.) LCPC 2005. LNCS, vol.\u00a04339, pp. 458\u2013465. Springer, Heidelberg (2006)"},{"key":"9_CR25","unstructured":"Johnson, S.C.: Lint, a C program checker (April 1986)"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Evans, D., Larochelle, D.: Improving security using extensible lightweight static analysis. IEEE Software, 42\u201351 (January 2002)","DOI":"10.1109\/52.976940"},{"key":"9_CR27","volume-title":"Effective C++: 50 specific ways to improve your programs and design","author":"S. Meyers","year":"1997","unstructured":"Meyers, S.: Effective C++: 50 specific ways to improve your programs and design, 2nd edn. Addison-Wesley, Reading (1997)","edition":"2"},{"key":"9_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"602","DOI":"10.1007\/11531142_26","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"A. Williams","year":"2005","unstructured":"Williams, A., Thies, W., Ernst, M.D.: Static deadlock detection for Java libraries. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, pp. 602\u2013629. Springer, Heidelberg (2005)"},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"Foster, J.S., Terauchi, T., Aiken., A.: Flow-sensitive type qualifiers. In: Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation, Berlin, Germany, June 2002, pp. 1\u201312 (2002)","DOI":"10.1145\/512530.512531"},{"key":"9_CR30","doi-asserted-by":"crossref","unstructured":"Hallem, S., Chelf, B., Xie, Y., Engler, D.: A system and language for building system-specific, static analyses. In: Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation, Berlin, Germany (June 2002)","DOI":"10.21236\/ADA419593"},{"key":"9_CR31","unstructured":"Coverity Inc. Coverity source code security tool, http:\/\/www.coverity.com"},{"key":"9_CR32","doi-asserted-by":"publisher","first-page":"775","DOI":"10.1002\/(SICI)1097-024X(200006)30:7<775::AID-SPE309>3.0.CO;2-H","volume":"30","author":"W.R. Bush","year":"2000","unstructured":"Bush, W.R., Pincus, J.D., Sielaff., D.J.: A static analyzer for finding dynamic programming errors. Software-Practice and Experience\u00a030, 775\u2013802 (2000)","journal-title":"Software-Practice and Experience"},{"key":"9_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1007\/3-540-36577-X_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Khurshid","year":"2003","unstructured":"Khurshid, S., Pasareanu, C., Visser, W.: Generalized symbolic execution for model checking and testing. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol.\u00a02619, pp. 553\u2013568. Springer, Heidelberg (2003)"},{"key":"9_CR34","doi-asserted-by":"crossref","unstructured":"Gregor, D., Schupp, S.: STLlint: Lifting static checking from languages to libraries. Software: Practice and Experience (2005)(to appear)","DOI":"10.1002\/spe.683"},{"key":"9_CR35","doi-asserted-by":"crossref","unstructured":"Das, M., Lerner, S., Seigle, M.: ESP: Path-sensitive program verification in polynomial time. In: Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation, Berlin, Germany (June 2002)","DOI":"10.1145\/512529.512538"},{"key":"9_CR36","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., Kroening, D., Lerda, F.: A tool for checking ANSI C programs. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol.\u00a02988, pp. 168\u2013176. Springer, Heidelberg (2004)"},{"key":"9_CR37","doi-asserted-by":"crossref","unstructured":"Xie, Y., Aiken, A.: Scalable error detection using boolean satisfiability. In: Proc. Principles of Programming Languages, Long Beach, CA, USA (January 2005)","DOI":"10.1145\/1040305.1040334"},{"key":"9_CR38","unstructured":"Parasoft Corporation. Jtest (2005), http:\/\/www.parasoft.com"},{"key":"9_CR39","doi-asserted-by":"crossref","unstructured":"Strout, M.M., John, M.C., Hovald, P.D.: Representation-independent program analysis. In: Proc. ACM SIGPLANSIGSOFT Workshop on Program Analysis for Software Tools and Engineering (September 2005)","DOI":"10.1145\/1108792.1108810"},{"issue":"2","key":"9_CR40","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1002\/bltj.2223","volume":"5","author":"G.J. Holzmann","year":"2000","unstructured":"Holzmann, G.J., Smith, M.H.: Automating software feature verification. Bell Labs Technical Journal\u00a05(2), 72\u201387 (2000)","journal-title":"Bell Labs Technical Journal"},{"key":"9_CR41","doi-asserted-by":"crossref","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S.-J., Lerda, F.: Model checking programs. Automated Software Engineering Journal\u00a010(2) (2002)","DOI":"10.1023\/A:1022920129859"},{"issue":"5","key":"9_CR42","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann.","year":"1997","unstructured":"Holzmann., G.J.: The model checker SPIN. IEEE Trans. on Software Engineering\u00a023(5), 279\u2013295 (1997)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"9_CR43","doi-asserted-by":"crossref","unstructured":"Corbett, J.C., Dwyer, M.B., Hatcliff, J., Laubach, S., P\u0103s\u0103reanu, C.S., Robby: Bandera: Extracting finite-state models from Java source cod. In: Proc. International Conference on Software Engineering, Limerick, Ireland, pp. 439\u2013448 (2000)","DOI":"10.1145\/337180.337234"},{"key":"9_CR44","doi-asserted-by":"crossref","unstructured":"Robby, Dwyer, M.B., Hatcliff, J.: Bogor: An extensible and highly modular model checking framework. In: Proc. Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (March 2003)","DOI":"10.1145\/949952.940107"},{"key":"9_CR45","unstructured":"Chen, H., Dean, D., Wagner, D.: Model checking one million lines of C code. In: Proc. Network and Distributed System Security Symposium, San Diego, CA, USA (February 2004)"},{"key":"9_CR46","doi-asserted-by":"crossref","unstructured":"Ball, T.A., Rajamani, S.K.: The SLAM project: Debugging system software via static analysis. In: Proc. Principles of Programming Languages (January 2002)","DOI":"10.1145\/503272.503274"},{"key":"9_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/3-540-44829-2_17","volume-title":"Model Checking Software","author":"T.A. Henzinger","year":"2003","unstructured":"Henzinger, T.A., Jhala, R., Majumdar, R., Sutre, G.: Software verification with BLAST. In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003. LNCS, vol.\u00a02648, pp. 235\u2013239. Springer, Heidelberg (2003)"},{"key":"9_CR48","unstructured":"Godefroid, P.: Software model checking: the VeriSoft approach. Technical Report ITD-03-44189G, Bell Labs (2003)"},{"key":"9_CR49","unstructured":"Detlefs, D.L., Rustan, K., Leino, M., Nelson, G., Saxe, J.B.: Extended static checking. Technical Report SRC-159, Compaq Systems Research Center, December 18 (1998)"},{"key":"9_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Menhdhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"9_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-45337-7_18","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"G. Kiczales","year":"2001","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of aspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 327\u2013355. Springer, Heidelberg (2001)"},{"key":"9_CR52","unstructured":"Hughes, D., Greenwood, P.: Aspect testing framework. In: Proceedings of the Formal Methods for Open Object-based Distributed Systems and Distributed Applications and Interoperable Systems Student Workshop, Paris, France (November 2003)"},{"key":"9_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"740","DOI":"10.1007\/11549468_81","volume-title":"Euro-Par 2005 Parallel Processing","author":"S. Copty","year":"2005","unstructured":"Copty, S., Ur, S.: Multi-threaded testing with AOP is easy, and it finds bugs. In: Cunha, J.C., Medeiros, P.D. (eds.) Euro-Par 2005. LNCS, vol.\u00a03648, pp. 740\u2013749. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software, Verification and Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11678779_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:15:42Z","timestamp":1619507742000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11678779_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540326045","9783540326052"],"references-count":53,"URL":"https:\/\/doi.org\/10.1007\/11678779_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}