1943 search results - page 83 / 389 » End-to-End Integration Testing |
144
click to vote
IJSEKE
2011
14 years 4 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
109
click to vote
KBSE
2003
IEEE
15 years 5 months ago
2003
IEEE
Unit testing, a common step in software development, presents a challenge. When produced manually, unit test suites are often insufficient to identify defects. The main alternativ...
85
Voted
HCI
2009
14 years 10 months ago
2009
More and more HCI researchers and practitioners have realized the urgency of addressing culture as being more than just an interface tuning parameter. Recent publications, project ...
187
Voted
NFM
2011
14 years 7 months ago
2011
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
224
Voted
PERVASIVE
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. In this paper, we introduce CityCompiler, an integrated environment for the iteration-based development of spatial interactive systems. CityCompiler visualizes interactiv...