3316 search results - page 305 / 664 » Mining Software Engineering Data |
115
click to vote
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
Vectors and bags are basic collection data structures, which are used frequently in programs and specifications. Reasoning about these data structures is supported by established ...
129
click to vote
COMPSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
Path-oriented Random Testing (PRT) aims at generating a uniformly spread out sequence of random test data that activate a single control flow path within an imperative program. T...
121
click to vote
CSMR
2008
IEEE
15 years 10 months ago
2008
IEEE
Databases are continuously evolving environments, where design constructs are added, removed or updated rather often. Small changes in the database configurations might impact a l...
137
click to vote
ICSM
2008
IEEE
15 years 10 months ago
2008
IEEE
Prior work has shown that computing dynamic slices of erroneous program values can greatly assist in locating the root cause of erroneous behavior by identifying faulty statements...
149
click to vote
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
In a component-based system components are basic computation units implementing specific business functions, and their interactions are explicitly represented by connectors. If th...