3792 search results - page 291 / 759 » Techniques for Trusted Software Engineering |
208
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
Correct and efficient implementation of general real-time applications remains by far an open problem. A key issue is meeting timing constraints whose satisfaction depends on feat...
228
click to vote
HOTSWUP
2009
ACM
15 years 4 months ago
2009
ACM
Dynamic software update is a technique by which a running program can be updated with new code and data without interrupting its execution. Often we will want to preserve properti...
221
click to vote
AOSD
2011
ACM
15 years 1 months ago
2011
ACM
A Software Product Line (SPL) is a family of programs where each program is defined by a unique combination of features. Testing or checking properties of an SPL is hard as it ma...
180
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...
201
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
With the growing complexity of web applications, identifying web interfaces that can be used for testing such applications has become increasingly challenging. Many techniques tha...