4079 search results - page 636 / 816 » Differential Testing for Software |
128
Voted
SIGSOFT
2004
ACM
16 years 4 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
127
click to vote
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Many emerging semantic web applications include ontologies from one set of authors and instance data from another (often much larger) set of authors. Often ontologies are reused a...
145
Voted
WWW
2007
ACM
16 years 4 months ago
2007
ACM
Web authoring environments enable end-users to create applications that integrate information from other web sources. Users can create web sites that include built-in components t...
127
Voted
SIGCSE
2009
ACM
16 years 4 months ago
2009
ACM
Like a screenplay, a program is both a static artifact and instructions for a dynamic performance. This duality can keep laypeople from appreciating the complexity of software sys...
135
Voted
ICSE
2004
IEEE-ACM
16 years 4 months ago
2004
IEEE-ACM
Many data-intensive applications dynamically construct queries in response to client requests and execute them. Java servlets, e.g., can create string representations of SQL queri...