Powered by
33rd International Conference on Software Engineering,
May 21–28, 2011,
Waikiki, Honolulu, HI, USA
Impact Project Focus Area
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},
}
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},
}
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},
}
proc time: 0.33