2205 search results - page 69 / 441 » Mutation Operators for Specifications |
113
click to vote
AAAI
1994
15 years 3 months ago
1994
We consider using machine learning techniques to help understand a large software system. In particular, we describe how learning techniques can be used to reconstruct abstract Da...
109
Voted
DALT
2006
Springer
15 years 6 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...
108
Voted
HICSS
2002
IEEE
15 years 7 months ago
2002
IEEE
An application generator has resulted from the authors' efforts to improve the development of interactive database applications. The developed tool is based on a meta-base. T...
122
Voted
FAC
2008
15 years 2 months ago
2008
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...
136
Voted
FAC
2008
15 years 2 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...