410 search results - page 48 / 82 » 1st Workshop on Open Source Software Engineering |
107
click to vote
ISSRE
2008
IEEE
15 years 5 months ago
2008
IEEE
For many safety-critical systems a safety case is built as part of the certification or acceptance process. The safety case assembles evidence to justify that the design and imple...
119
click to vote
NIPS
2007
15 years 16 days ago
2007
Large repositories of source code create new challenges and opportunities for statistical machine learning. Here we first develop Sourcerer, an infrastructure for the automated c...
MSR
2010
ACM
15 years 4 months ago
2010
ACM
—Build systems are responsible for transforming static source code artifacts into executable software. While build systems play such a crucial role in software development and ma...
90
Voted
EUROSYS
2011
ACM
14 years 2 months ago
2011
ACM
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...
120
click to vote
APSEC
2007
IEEE
15 years 3 months ago
2007
IEEE
Maintaining software systems becomes more difficult as their size and complexity increase. One factor that makes software maintenance more difficult is the presence of code clones...