62 search results - page 1 / 13 » GoldMine: Automatic assertion generation using data mining a... |
88
Voted
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
118
Voted
EDM
2009
15 years 15 days ago
2009
This paper describes a novel method to create a quantitative model of an educational content domain of related practice item-types using learning curves. By using a pairwise test t...
116
Voted
CPP
2011
14 years 2 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...
257
Voted
PLDI
2009
ACM
16 years 3 months ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
103
Voted
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...