ICSE 2011 – Author Index |
Contents -
Abstracts -
Authors
|
Boehm, Barry W. |
ICSE '11-IMPACT: "Impact of Software Resource ..."
Impact of Software Resource Estimation Research on Practice: A Preliminary Report on Achievements, Synergies, and Challenges
Barry W. Boehm and Ricardo Valerdi (University of Southern California, USA; MIT, USA) This paper is a contribution to the Impact Project in the area of software resource estimation. The objective of the Impact Project has been to analyze the impact of software engineering research investments on software engineering practice. The paper begins by summarizing the motivation and context for analyzing software resource estimation; and by summarizing the study’s purpose, scope, and approach. The approach includes analyses of the literature; interviews of leading software resource estimation researchers, practitioners, and users; and value/impact surveys of estimators and users. The study concludes that research in software resource estimation has had a significant impact on the practice of software engineering, but also faces significant challenges in addressing likely future software trends. @InProceedings{ICSE11p1057, author = {Barry W. Boehm and Ricardo Valerdi}, title = {Impact of Software Resource Estimation Research on Practice: A Preliminary Report on Achievements, Synergies, and Challenges}, booktitle = {Proc.\ ICSE}, publisher = {ACM}, pages = {1057--1065}, doi = {}, year = {2011}, } |
|
Cadar, Cristian |
ICSE '11-IMPACT: "Symbolic Execution for Software ..."
Symbolic Execution for Software Testing in Practice -- Preliminary Assessment
Cristian Cadar , Patrice Godefroid, Sarfraz Khurshid, Corina S. Păsăreanu, Koushik Sen, Nikolai Tillmann, and Willem Visser (Imperial College London, UK; Microsoft Research, USA; University of Texas at Austin, USA; CMU, USA; NASA Ames Research Center, USA; UC Berkeley, USA; Stellenbosch University, South Africa) We present results for the “Impact Project Focus Area” on the topic of symbolic execution as used in software testing. Symbolic execution is a program analysis technique introduced in the 70s that has received renewed interest in recent years, due to algorithmic advances and increased availability of computational power and constraint solving technology. We review classical symbolic execution and some modern extensions such as generalized symbolic execution and dynamic test generation. We also give a preliminary assessment of the use in academia, research labs, and industry. @InProceedings{ICSE11p1066, author = {Cristian Cadar and Patrice Godefroid and Sarfraz Khurshid and Corina S. Păsăreanu and Koushik Sen and Nikolai Tillmann and Willem Visser}, title = {Symbolic Execution for Software Testing in Practice -- Preliminary Assessment}, booktitle = {Proc.\ ICSE}, publisher = {ACM}, pages = {1066--1071}, doi = {}, year = {2011}, } |
|
Godefroid, Patrice |
ICSE '11-IMPACT: "Symbolic Execution for Software ..."
Symbolic Execution for Software Testing in Practice -- Preliminary Assessment
Cristian Cadar , Patrice Godefroid, Sarfraz Khurshid, Corina S. Păsăreanu, Koushik Sen, Nikolai Tillmann, and Willem Visser (Imperial College London, UK; Microsoft Research, USA; University of Texas at Austin, USA; CMU, USA; NASA Ames Research Center, USA; UC Berkeley, USA; Stellenbosch University, South Africa) We present results for the “Impact Project Focus Area” on the topic of symbolic execution as used in software testing. Symbolic execution is a program analysis technique introduced in the 70s that has received renewed interest in recent years, due to algorithmic advances and increased availability of computational power and constraint solving technology. We review classical symbolic execution and some modern extensions such as generalized symbolic execution and dynamic test generation. We also give a preliminary assessment of the use in academia, research labs, and industry. @InProceedings{ICSE11p1066, author = {Cristian Cadar and Patrice Godefroid and Sarfraz Khurshid and Corina S. Păsăreanu and Koushik Sen and Nikolai Tillmann and Willem Visser}, title = {Symbolic Execution for Software Testing in Practice -- Preliminary Assessment}, booktitle = {Proc.\ ICSE}, publisher = {ACM}, pages = {1066--1071}, doi = {}, year = {2011}, } |
|
Houston, Dan |
ICSE '11-IMPACT: "Impact of Process Simulation ..."
Impact of Process Simulation on Software Practice: An Initial Report
He Zhang, Ross Jeffery, Dan Houston, LiGuo Huang, and Liming Zhu (NICTA, Australia; University of New South Wales, Australia; The Aerospace Corporation, USA; Southern Methodist University, USA) Process simulation has become a powerful technology in support of software project management and process improvement over the past decades. This research, inspired by the Impact Project, intends to investigate the technology transfer of software process simulation to the use in industrial settings, and further identify the best practices to release its full potential in software practice. We collected the reported applications of process simulation in software industry, and identified its wide adoption in the organizations delivering various software intensive systems. This paper, as an initial report of the research, briefs a historical perspective of the impact upon practice based on the documented evidence, and also elaborates the research-practice transition by examining one detailed case study. It is shown that research has a significant impact on practice in this area. The analysis of impact trace also reveals that the success of software process simulation in practice highly relies on the association with other software process techniques or practices and the close collaboration between researchers and practitioners. @InProceedings{ICSE11p1046, author = {He Zhang and Ross Jeffery and Dan Houston and LiGuo Huang and Liming Zhu}, title = {Impact of Process Simulation on Software Practice: An Initial Report}, booktitle = {Proc.\ ICSE}, publisher = {ACM}, pages = {1046--1056}, doi = {}, year = {2011}, } |
|
Huang, LiGuo |
ICSE '11-IMPACT: "Impact of Process Simulation ..."
Impact of Process Simulation on Software Practice: An Initial Report
He Zhang, Ross Jeffery, Dan Houston, LiGuo Huang, and Liming Zhu (NICTA, Australia; University of New South Wales, Australia; The Aerospace Corporation, USA; Southern Methodist University, USA) Process simulation has become a powerful technology in support of software project management and process improvement over the past decades. This research, inspired by the Impact Project, intends to investigate the technology transfer of software process simulation to the use in industrial settings, and further identify the best practices to release its full potential in software practice. We collected the reported applications of process simulation in software industry, and identified its wide adoption in the organizations delivering various software intensive systems. This paper, as an initial report of the research, briefs a historical perspective of the impact upon practice based on the documented evidence, and also elaborates the research-practice transition by examining one detailed case study. It is shown that research has a significant impact on practice in this area. The analysis of impact trace also reveals that the success of software process simulation in practice highly relies on the association with other software process techniques or practices and the close collaboration between researchers and practitioners. @InProceedings{ICSE11p1046, author = {He Zhang and Ross Jeffery and Dan Houston and LiGuo Huang and Liming Zhu}, title = {Impact of Process Simulation on Software Practice: An Initial Report}, booktitle = {Proc.\ ICSE}, publisher = {ACM}, pages = {1046--1056}, doi = {}, year = {2011}, } |
|
Jeffery, Ross |
ICSE '11-IMPACT: "Impact of Process Simulation ..."
Impact of Process Simulation on Software Practice: An Initial Report
He Zhang, Ross Jeffery, Dan Houston, LiGuo Huang, and Liming Zhu (NICTA, Australia; University of New South Wales, Australia; The Aerospace Corporation, USA; Southern Methodist University, USA) Process simulation has become a powerful technology in support of software project management and process improvement over the past decades. This research, inspired by the Impact Project, intends to investigate the technology transfer of software process simulation to the use in industrial settings, and further identify the best practices to release its full potential in software practice. We collected the reported applications of process simulation in software industry, and identified its wide adoption in the organizations delivering various software intensive systems. This paper, as an initial report of the research, briefs a historical perspective of the impact upon practice based on the documented evidence, and also elaborates the research-practice transition by examining one detailed case study. It is shown that research has a significant impact on practice in this area. The analysis of impact trace also reveals that the success of software process simulation in practice highly relies on the association with other software process techniques or practices and the close collaboration between researchers and practitioners. @InProceedings{ICSE11p1046, author = {He Zhang and Ross Jeffery and Dan Houston and LiGuo Huang and Liming Zhu}, title = {Impact of Process Simulation on Software Practice: An Initial Report}, booktitle = {Proc.\ ICSE}, publisher = {ACM}, pages = {1046--1056}, doi = {}, year = {2011}, } |
|
Khurshid, Sarfraz |
ICSE '11-IMPACT: "Symbolic Execution for Software ..."
Symbolic Execution for Software Testing in Practice -- Preliminary Assessment
Cristian Cadar , Patrice Godefroid, Sarfraz Khurshid, Corina S. Păsăreanu, Koushik Sen, Nikolai Tillmann, and Willem Visser (Imperial College London, UK; Microsoft Research, USA; University of Texas at Austin, USA; CMU, USA; NASA Ames Research Center, USA; UC Berkeley, USA; Stellenbosch University, South Africa) We present results for the “Impact Project Focus Area” on the topic of symbolic execution as used in software testing. Symbolic execution is a program analysis technique introduced in the 70s that has received renewed interest in recent years, due to algorithmic advances and increased availability of computational power and constraint solving technology. We review classical symbolic execution and some modern extensions such as generalized symbolic execution and dynamic test generation. We also give a preliminary assessment of the use in academia, research labs, and industry. @InProceedings{ICSE11p1066, author = {Cristian Cadar and Patrice Godefroid and Sarfraz Khurshid and Corina S. Păsăreanu and Koushik Sen and Nikolai Tillmann and Willem Visser}, title = {Symbolic Execution for Software Testing in Practice -- Preliminary Assessment}, booktitle = {Proc.\ ICSE}, publisher = {ACM}, pages = {1066--1071}, doi = {}, year = {2011}, } |
|
Păsăreanu, Corina S. |
ICSE '11-IMPACT: "Symbolic Execution for Software ..."
Symbolic Execution for Software Testing in Practice -- Preliminary Assessment
Cristian Cadar , Patrice Godefroid, Sarfraz Khurshid, Corina S. Păsăreanu, Koushik Sen, Nikolai Tillmann, and Willem Visser (Imperial College London, UK; Microsoft Research, USA; University of Texas at Austin, USA; CMU, USA; NASA Ames Research Center, USA; UC Berkeley, USA; Stellenbosch University, South Africa) We present results for the “Impact Project Focus Area” on the topic of symbolic execution as used in software testing. Symbolic execution is a program analysis technique introduced in the 70s that has received renewed interest in recent years, due to algorithmic advances and increased availability of computational power and constraint solving technology. We review classical symbolic execution and some modern extensions such as generalized symbolic execution and dynamic test generation. We also give a preliminary assessment of the use in academia, research labs, and industry. @InProceedings{ICSE11p1066, author = {Cristian Cadar and Patrice Godefroid and Sarfraz Khurshid and Corina S. Păsăreanu and Koushik Sen and Nikolai Tillmann and Willem Visser}, title = {Symbolic Execution for Software Testing in Practice -- Preliminary Assessment}, booktitle = {Proc.\ ICSE}, publisher = {ACM}, pages = {1066--1071}, doi = {}, year = {2011}, } |
|
Sen, Koushik |
ICSE '11-IMPACT: "Symbolic Execution for Software ..."
Symbolic Execution for Software Testing in Practice -- Preliminary Assessment
Cristian Cadar , Patrice Godefroid, Sarfraz Khurshid, Corina S. Păsăreanu, Koushik Sen, Nikolai Tillmann, and Willem Visser (Imperial College London, UK; Microsoft Research, USA; University of Texas at Austin, USA; CMU, USA; NASA Ames Research Center, USA; UC Berkeley, USA; Stellenbosch University, South Africa) We present results for the “Impact Project Focus Area” on the topic of symbolic execution as used in software testing. Symbolic execution is a program analysis technique introduced in the 70s that has received renewed interest in recent years, due to algorithmic advances and increased availability of computational power and constraint solving technology. We review classical symbolic execution and some modern extensions such as generalized symbolic execution and dynamic test generation. We also give a preliminary assessment of the use in academia, research labs, and industry. @InProceedings{ICSE11p1066, author = {Cristian Cadar and Patrice Godefroid and Sarfraz Khurshid and Corina S. Păsăreanu and Koushik Sen and Nikolai Tillmann and Willem Visser}, title = {Symbolic Execution for Software Testing in Practice -- Preliminary Assessment}, booktitle = {Proc.\ ICSE}, publisher = {ACM}, pages = {1066--1071}, doi = {}, year = {2011}, } |
|
Tillmann, Nikolai |
ICSE '11-IMPACT: "Symbolic Execution for Software ..."
Symbolic Execution for Software Testing in Practice -- Preliminary Assessment
Cristian Cadar , Patrice Godefroid, Sarfraz Khurshid, Corina S. Păsăreanu, Koushik Sen, Nikolai Tillmann, and Willem Visser (Imperial College London, UK; Microsoft Research, USA; University of Texas at Austin, USA; CMU, USA; NASA Ames Research Center, USA; UC Berkeley, USA; Stellenbosch University, South Africa) We present results for the “Impact Project Focus Area” on the topic of symbolic execution as used in software testing. Symbolic execution is a program analysis technique introduced in the 70s that has received renewed interest in recent years, due to algorithmic advances and increased availability of computational power and constraint solving technology. We review classical symbolic execution and some modern extensions such as generalized symbolic execution and dynamic test generation. We also give a preliminary assessment of the use in academia, research labs, and industry. @InProceedings{ICSE11p1066, author = {Cristian Cadar and Patrice Godefroid and Sarfraz Khurshid and Corina S. Păsăreanu and Koushik Sen and Nikolai Tillmann and Willem Visser}, title = {Symbolic Execution for Software Testing in Practice -- Preliminary Assessment}, booktitle = {Proc.\ ICSE}, publisher = {ACM}, pages = {1066--1071}, doi = {}, year = {2011}, } |
|
Valerdi, Ricardo |
ICSE '11-IMPACT: "Impact of Software Resource ..."
Impact of Software Resource Estimation Research on Practice: A Preliminary Report on Achievements, Synergies, and Challenges
Barry W. Boehm and Ricardo Valerdi (University of Southern California, USA; MIT, USA) This paper is a contribution to the Impact Project in the area of software resource estimation. The objective of the Impact Project has been to analyze the impact of software engineering research investments on software engineering practice. The paper begins by summarizing the motivation and context for analyzing software resource estimation; and by summarizing the study’s purpose, scope, and approach. The approach includes analyses of the literature; interviews of leading software resource estimation researchers, practitioners, and users; and value/impact surveys of estimators and users. The study concludes that research in software resource estimation has had a significant impact on the practice of software engineering, but also faces significant challenges in addressing likely future software trends. @InProceedings{ICSE11p1057, author = {Barry W. Boehm and Ricardo Valerdi}, title = {Impact of Software Resource Estimation Research on Practice: A Preliminary Report on Achievements, Synergies, and Challenges}, booktitle = {Proc.\ ICSE}, publisher = {ACM}, pages = {1057--1065}, doi = {}, year = {2011}, } |
|
Visser, Willem |
ICSE '11-IMPACT: "Symbolic Execution for Software ..."
Symbolic Execution for Software Testing in Practice -- Preliminary Assessment
Cristian Cadar , Patrice Godefroid, Sarfraz Khurshid, Corina S. Păsăreanu, Koushik Sen, Nikolai Tillmann, and Willem Visser (Imperial College London, UK; Microsoft Research, USA; University of Texas at Austin, USA; CMU, USA; NASA Ames Research Center, USA; UC Berkeley, USA; Stellenbosch University, South Africa) We present results for the “Impact Project Focus Area” on the topic of symbolic execution as used in software testing. Symbolic execution is a program analysis technique introduced in the 70s that has received renewed interest in recent years, due to algorithmic advances and increased availability of computational power and constraint solving technology. We review classical symbolic execution and some modern extensions such as generalized symbolic execution and dynamic test generation. We also give a preliminary assessment of the use in academia, research labs, and industry. @InProceedings{ICSE11p1066, author = {Cristian Cadar and Patrice Godefroid and Sarfraz Khurshid and Corina S. Păsăreanu and Koushik Sen and Nikolai Tillmann and Willem Visser}, title = {Symbolic Execution for Software Testing in Practice -- Preliminary Assessment}, booktitle = {Proc.\ ICSE}, publisher = {ACM}, pages = {1066--1071}, doi = {}, year = {2011}, } |
|
Zhang, He |
ICSE '11-IMPACT: "Impact of Process Simulation ..."
Impact of Process Simulation on Software Practice: An Initial Report
He Zhang, Ross Jeffery, Dan Houston, LiGuo Huang, and Liming Zhu (NICTA, Australia; University of New South Wales, Australia; The Aerospace Corporation, USA; Southern Methodist University, USA) Process simulation has become a powerful technology in support of software project management and process improvement over the past decades. This research, inspired by the Impact Project, intends to investigate the technology transfer of software process simulation to the use in industrial settings, and further identify the best practices to release its full potential in software practice. We collected the reported applications of process simulation in software industry, and identified its wide adoption in the organizations delivering various software intensive systems. This paper, as an initial report of the research, briefs a historical perspective of the impact upon practice based on the documented evidence, and also elaborates the research-practice transition by examining one detailed case study. It is shown that research has a significant impact on practice in this area. The analysis of impact trace also reveals that the success of software process simulation in practice highly relies on the association with other software process techniques or practices and the close collaboration between researchers and practitioners. @InProceedings{ICSE11p1046, author = {He Zhang and Ross Jeffery and Dan Houston and LiGuo Huang and Liming Zhu}, title = {Impact of Process Simulation on Software Practice: An Initial Report}, booktitle = {Proc.\ ICSE}, publisher = {ACM}, pages = {1046--1056}, doi = {}, year = {2011}, } |
|
Zhu, Liming |
ICSE '11-IMPACT: "Impact of Process Simulation ..."
Impact of Process Simulation on Software Practice: An Initial Report
He Zhang, Ross Jeffery, Dan Houston, LiGuo Huang, and Liming Zhu (NICTA, Australia; University of New South Wales, Australia; The Aerospace Corporation, USA; Southern Methodist University, USA) Process simulation has become a powerful technology in support of software project management and process improvement over the past decades. This research, inspired by the Impact Project, intends to investigate the technology transfer of software process simulation to the use in industrial settings, and further identify the best practices to release its full potential in software practice. We collected the reported applications of process simulation in software industry, and identified its wide adoption in the organizations delivering various software intensive systems. This paper, as an initial report of the research, briefs a historical perspective of the impact upon practice based on the documented evidence, and also elaborates the research-practice transition by examining one detailed case study. It is shown that research has a significant impact on practice in this area. The analysis of impact trace also reveals that the success of software process simulation in practice highly relies on the association with other software process techniques or practices and the close collaboration between researchers and practitioners. @InProceedings{ICSE11p1046, author = {He Zhang and Ross Jeffery and Dan Houston and LiGuo Huang and Liming Zhu}, title = {Impact of Process Simulation on Software Practice: An Initial Report}, booktitle = {Proc.\ ICSE}, publisher = {ACM}, pages = {1046--1056}, doi = {}, year = {2011}, } |
14 authors
proc time: 0.32