98 search results - page 18 / 20 » A Formal Logic Approach to Constrained Combinatorial Testing |
125
click to vote
OOPSLA
2010
Springer
14 years 9 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
132
click to vote
ICFEM
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
116
click to vote
SIGSOFT
2007
ACM
16 years 13 days ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
131
click to vote
TABLEAUX
2009
Springer
15 years 6 months ago
2009
Springer
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environm...
EMSOFT
2011
Springer
13 years 11 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...