498 search results - page 71 / 100 » Automated Software Test Data Generation for Complex Programs |
140
Voted
BMCBI
2011
14 years 9 months ago
2011
Background: Since its inception, proteomics has essentially operated in a discovery mode with the goal of identifying and quantifying the maximal number of proteins in a sample. I...
100
Voted
ICSEA
2008
IEEE
15 years 8 months ago
2008
IEEE
The Reuse of code artefacts can make development quicker, cheaper and more robust, but the process is complex and has many pitfalls: Code artefacts must exist, be available, be fo...
265
Voted
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
114
Voted
COMPSAC
1999
IEEE
15 years 6 months ago
1999
IEEE
As the complexity of software systems increases, so need for a good mechanism of abstraction. architecture design is an abstraction, hiding an immense amount of details about the ...
144
click to vote
SOFTVIS
2010
ACM
15 years 2 months ago
2010
ACM
Understanding the data structures in a program is crucial to understanding how the program works, or why it doesn't work. Inspecting the code that implements the data structu...