TAP 2010 | Sciweavers

27

TAP
2010
Springer

145views Hardware» more TAP 2010»

QuickSpec: Guessing Formal Specifications Using Testing

13 years 8 months ago

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 ...

Koen Claessen, Nicholas Smallbone, John Hughes

claim paper

Read More »

30

click to vote

TAP
2010
Springer

145views Hardware» more TAP 2010»

Myths in Software Engineering: From the Other Side

13 years 8 months ago

Download menzies.us

An important component of Empirical Software Engineering (ESE) research involves the measurement, observation, analysis and understanding of software engineering in practice. Resul...

Nachiappan Nagappan

claim paper

Read More »

41

click to vote

TAP
2010
Springer

134views Hardware» more TAP 2010»

Testing First-Order Logic Axioms in Program Verification

13 years 8 months ago

Download ti.arc.nasa.gov

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...

Ki Yung Ahn, Ewen Denney

claim paper

Read More »

24

click to vote

TAP
2010
Springer

114views Hardware» more TAP 2010»

The saliency of anomalies in animated human characters

13 years 9 months ago

Download graphics.cs.cmu.edu

Jessica K. Hodgins, Sophie Jörg, Carol O'Sull...

claim paper