6348 search results - page 649 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
187
Voted
ICSE
2007
IEEE-ACM
16 years 7 months ago
2007
IEEE-ACM
This paper describes the Korat tool for constraint-based generation of structurally complex test inputs for Java programs. Korat takes (1) an imperative predicate that specifies t...
218
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...
192
click to vote
PEPM
2009
ACM
16 years 4 months ago
2009
ACM
Program interpolation is a new type of transformation that given an input program written in a specially constructed Domain Specific Language (DSL), produces a family of function...
169
Voted
CISIS
2010
IEEE
16 years 2 months ago
2010
IEEE
Context has been applied to a broad range of domains and systems ranging from location-based tourist applications to motion capture. An area relatively under-represented in the li...
184
Voted
FASE
2010
Springer
16 years 2 months ago
2010
Springer
Actor programs consist of a number of concurrent objects called actors, which communicate by exchanging messages. Nondeterminism in actors results from the different possible orde...