@conference {107,
	title = {An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification},
	booktitle = {Proceedings of the 14th IEEE International Conference on Program Comprehension (ICPC06)},
	year = {2006},
	abstract = {<p>Typically, multiple developers are involved in the various stages of the software development and maintenance process. To ensure an optimal transfer of knowledge between these different peers, a reliable human-readable model of the dynamics of a software artefact is needed. Once these models become machine-verifiable, they can be used throughout an application{\textquoteright}s lifetime to check whether the documented behavioral properties continue to hold as the application evolves. Unfortunately, most existing modeling media are inadequate to express human-readable behavioral models which are at the same time machine-verifiable. We therefore propose a declarative platform wherein behavioral program models can be expressed in terms of userdefined high-level concepts and be automatically verified against an application{\textquoteright}s actual behavior. We demonstrate our approach by using it to both document and verify an interpreter for a garbage-collected programming language.</p>},
	keywords = {aspect-oriented programming, behave, documentation, dynamic analysis, logic meta programming, program comprenhension, temporal logic, temporal logic programming, testing, verification},
	isbn = {0-7695-2601-2},
	author = {Coen De Roover and Michiels, Isabel and Kris Gybels and Kris Gybels and Theo D{\textquoteright}Hondt}
}
@conference {108,
	title = {Program Testing Using High-Level Property-Driven Models},
	booktitle = {Proceedings of the Eighteenth International Conference on Software Engineering and Knowledge Engineering (SEKE06)},
	year = {2006},
	abstract = {<p>Testing is a crucial part of the software development life cycle that necessitates adequate techniques and tools. On the one hand, unit or function testing techniques are particularly easy and lightweight to use but are restricted to the testing of the external behaviour of a program. On the other hand, testing techniques that use property-driven models of the software are able to test behavioural properties of the entire execution of a program. However these models are often specified in terms of low-level execution events of the program. In this paper, we present the lightweight propertydriven testing platform called BEHAVE, where tests are written as property-driven behavioural models over highlevel run-time events. We validate our approach by testing behavioural properties related to the automatic memory management in the interpreter of the Pico programming language.</p>},
	keywords = {behave, dynamic analysis, logic meta programming, program testing, program traces, temporal logic, temporal logic programming},
	author = {Michiels, Isabel and Coen De Roover and Johan Brichau and Elisa Gonzalez Boix and Theo D{\textquoteright}Hondt}
}
