2132 search results - page 225 / 427 » Automated software winnowing |
194
Voted
ER
1997
Springer
15 years 9 months ago
1997
Springer
Several decades of software engineering research confirm that effective reuse is the only realistic approach to meeting the ever-increasing demands on the software industry. Over ...
229
click to vote
B
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
145
click to vote
FASE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. API error-handling specifications are often not documented, necessitating automated specification mining. Automated mining of error-handling specifications is challenging...
140
Voted
EWCBR
2000
Springer
15 years 9 months ago
2000
Springer
Lessons learned processes, and software systems that support them, have been developed by many organizations (e.g., all USA military branches, NASA, several Department of Energy or...
148
click to vote
ISSTA
2010
ACM
15 years 7 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...