@inbook {springerlink:10.1007/978-3-642-19583-9_7,
	title = {Special Session on Debugging},
	booktitle = {Hardware and Software: Verification and Testing},
	series = {Lecture Notes in Computer Science},
	volume = {6504},
	year = {2011},
	pages = {24{\textendash}28},
	publisher = {Springer Berlin / Heidelberg},
	organization = {Springer Berlin / Heidelberg},
	abstract = {In software, hardware, and embedded system domains, debugging is the process of locating and correcting faults in a system. Depending on the context, the various characteristics of debugging induce different challenges and solutions. Post-silicon hardware debugging, for example, needs to address issues such as limited visibility and controllability, while debugging software entails other issues, such as the handling of distributed or non-deterministic computation. The challenges that accompany such issues are the focus of many current research efforts. Solutions for debugging range from interactive tools to highly analytic techniques. We have seen great advances in debugging technologies in recent years, but bugs continue to occur, and debugging still encompasses significant portions of the life-cycles of many systems. The session covered state-of-the-art approaches as well as promising new research directions in both the hardware and software domains.},
	doi = {10.1007/978-3-642-19583-9_7},
	url = {http://dx.doi.org/10.1007/978-3-642-19583-9_7},
	author = {Hollander, Yoav and Hu, Alan and Louren{\c c}o, Jo{\~a}o and Morad, Ronny},
	editor = {Barner, Sharon and Harris, Ian and Kroening, Daniel and Raz, Orna}
}
