TAP
2010
Springer
13 years 9 months ago
2010
Springer
We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem ...
TAP
2010
Springer
13 years 9 months ago
2010
Springer
An important component of Empirical Software Engineering (ESE) research involves the measurement, observation, analysis and understanding of software engineering in practice. Resul...
TAP
2010
Springer
13 years 9 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
TAP
2010
Springer
13 years 10 months ago
2010
Springer
TAP
2010
Springer
13 years 10 months ago
2010
Springer
TAP
2010
Springer
13 years 10 months ago
2010
Springer
TAP
2010
Springer
13 years 10 months ago
2010
Springer
TAP
2010
Springer
13 years 10 months ago
2010
Springer
TAP
2010
Springer
13 years 10 months ago
2010
Springer
TAP
2010
Springer
13 years 10 months ago
2010
Springer