483 search results - page 35 / 97 » Experimental Software Engineering: A Report on the State of ... |
KBSE
1999
IEEE
14 years 28 days ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
COMPSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
Monitoring is a task of collecting measurements that reflect the state of a system. Administration is a collection of tasks for control and manipulation of computer systems. Monito...
AMAST
2006
Springer
14 years 12 days ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
IUI
2003
ACM
14 years 1 months ago
2003
ACM
World Wide Web search engines typically return thousands of results to the users. To avoid users browsing through the whole list of results, search engines use ranking algorithms ...
VSTTE
2005
Springer
14 years 2 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...