4683 search results - page 128 / 937 » Software Release Management |
ICSM
2009
IEEE
14 years 3 months ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...
ICSM
2009
IEEE
14 years 3 months ago
2009
IEEE
Applications with Graphical User Interfaces (GUIs) are ubiquitous. Nontrivial GUI-based applications (GAPs) evolve frequently, and understanding how GUIs of different versions of ...
FSEN
2009
Springer
14 years 3 months ago
2009
Springer
We present an automata theoretic framework for modular schedulability analysis of real time asynchronous objects modeled in the language Creol. In previous work we analyzed the sch...
SOSE
2008
IEEE
14 years 3 months ago
2008
IEEE
Static code analysis is the analysis of software that is performed to acquire information concerning the dynamic behavior of programs built from that software, without actually ex...
VTC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract—NCTUns is a novel network simulator and emulator that has many unique features over traditional network simulators and emulators. It is an open-source software running o...