|
|
ACHIEVING COST-EFFECTIVE SOFTWARE RELIABILITY THROUGH SELF-HEALING
– Ra Gorla, Mauro Pezzè, Jochen Wuttke, Leonardo Mariani, Fabrizio Pastore
|
|
|
Techniques General Terms Reliability
– unknown authors
|
|
|
Metamorphic Testing Techniques to Detect Defects in Applications without Test Oracles
– Christian Murphy, Christian Murphy
|
|
5
|
Type-based Object Immutability with Flexible Initialization
– Christian Haack, Erik Poll
|
|
27
|
Test Oracles
– Luciano Baresi, Michal Young
- 2001
|
|
|
LuMiNous — Model-Driven Assertion Generation for Runtime Failure Detection
– Mauro Pezzè, Jochen Wuttke
|
|
|
System Architectures Based on Functionality Offloading
– Aniruddha Bohra
- 2008
|
|
243
|
An Overview of JML Tools and Applications
– Lilian Burdy, Yoonsik Cheon, David Cok, Michael D. Ernst, Joe Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll
- 2003
|
|
19
|
End-User Software Engineering with Assertions
– Margaret Burnett, Curtis Cook, Omkar Pendse, Gregg Rothermel, Jay Summet
- 2002
|
|
25
|
End-User Software Engineering with Assertions in the Spreadsheet Paradigm
– Margaret Burnett, Curtis Cook, Omkar Pendse, Gregg Rothermel, Jay Summet, Chris Wallace
- 2003
|
|
|
under the supervision of
– Mauro Pezzè, Antonio Carzaniga, Holger Giese, Onn Shehory, Michal Young, Mauro Pezzè, Michele Lanza, Jochen Wuttke
- 2010
|
|
|
Defining Model Transformations for Property Templates
– Jochen Wuttke
- 2009
|
|
|
Understanding the Impact of Collection Contracts on Design
– Stephen Nelson, David J. Pearce, James Noble
|
|
|
Changing Hashcodes: Objects, Intialisation, and Collections
– Stephen Nelson, David J. Pearce, James Noble
|
|
|
Towards Understanding the Importance of Variables in Dependable Software
– Matthew Leeke, Arshad Jhumka
|
|
1
|
Automatic Detection of Previously-Unseen Application States for Deployment Environment Testing and Analysis
– Christian Murphy, Moses Vaughan, Waseem Ilahi, Gail Kaiser
|
|
|
Using Metamorphic Testing at Runtime to Detect Defects in Applications without Test Oracles
– Christian Murphy, Advisor Gail, E. Kaiser
- 2008
|
|
7
|
Quality assurance of software applications using the in vivo testing approach
– Christian Murphy, Gail Kaiser, Ian Vo, Matt Chu
- 2008
|
|
|
Integration of Formal Assertions with Bounded Exhaustive Testing for Critical Systems
– Richard Dutton
|
