Making program refactoring safer
G Soares - Proceedings of the 32nd ACM/IEEE International …, 2010 - dl.acm.org
Automated refactorings may change the program behavior. We propose an approach and its
implementation called SafeRefactor for making program refactoring safer. We applied 10 …
implementation called SafeRefactor for making program refactoring safer. We applied 10 …
Decision procedures for algebraic data types with abstractions
We describe a family of decision procedures that extend the decision procedure for
quantifier-free constraints on recursive algebraic data types (term algebras) to support …
quantifier-free constraints on recursive algebraic data types (term algebras) to support …
A meta-aspect protocol for developing dynamic analyses
M Achenbach, K Ostermann - International Conference on Runtime …, 2010 - Springer
Dynamic aspect-oriented programming has been widely used for the development of
dynamic analyses to abstract over low-level program instrumentation. Due to particular …
dynamic analyses to abstract over low-level program instrumentation. Due to particular …
Testing object-oriented programs using dynamic aspects and non-determinism
M Achenbach, K Ostermann - Proceedings of the 1st Workshop on …, 2010 - dl.acm.org
The implementation of unit tests with mock objects and stubs often involves substantial
manual work. Stubbed methods return simple default values, therefore variations of these …
manual work. Stubbed methods return simple default values, therefore variations of these …
Runtime Verification
This volume contains the proceedings of the 2013 International Conference on Runtime
Verification (RV 2013), held in Rennes, France, during September 24–27. RV 2013 was is …
Verification (RV 2013), held in Rennes, France, during September 24–27. RV 2013 was is …
" Fly Me to the Moon": Verification of Aerospace Systems
D Giannakopoulou - 2010 8th IEEE International Conference …, 2010 - ieeexplore.ieee.org
Aerospace systems are typically made up of several communicating components. Such
systems must be verified extensively before being introduced in industry. In this paper, we …
systems must be verified extensively before being introduced in industry. In this paper, we …
On Rigorous Numerical Computation as a Scala Library
E Darulová, V Kuncak - 2010 - infoscience.epfl.ch
Modern programming languages have adopted the floating point type as a way to describe
computations with real numbers. Thanks to the hardware support, such computations are …
computations with real numbers. Thanks to the hardware support, such computations are …
Reducing the costs of bounded-exhaustive testing
VS Bangalore Jagannath - 2010 - ideals.illinois.edu
Bounded-exhaustive testing is an automated testing methodology that checks the code
under test for all inputs within given bounds: first the user describes a set of test inputs and …
under test for all inputs within given bounds: first the user describes a set of test inputs and …
[PDF][PDF] Combining Testing and Verification
T Gvero - wiki.epfl.ch
The paper presents techniques used in both software testing and verification. Korat is the
tool that has an effective technique for generation of complex data structures. CVC3 is the …
tool that has an effective technique for generation of complex data structures. CVC3 is the …
[PDF][PDF] Decision Procedures for Algebraic Data Types with Abstractions
PSM Dotta, V Kuncak - 2010 - researchgate.net
We describe a family of decision procedures that extend the decision procedure for
quantifier-free constraints on recursive algebraic data types (term algebras) to support …
quantifier-free constraints on recursive algebraic data types (term algebras) to support …