15779 search results - page 2481 / 3156 » Change-oriented software engineering |
187
click to vote
ICST
2009
IEEE
15 years 3 months ago
2009
IEEE
Measurement and detection of redundancy in test suites attempt to achieve test minimization which in turn can help reduce test maintenance costs, and to also ensure the integrity ...
207
click to vote
ICST
2009
IEEE
15 years 3 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
195
click to vote
ICST
2009
IEEE
15 years 3 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
187
click to vote
AIM
2010
15 years 3 months ago
2010
The European Conference on Case-Based Reasoning (CBR) in 2008 marked 15 years of international and European CBR conferences where almost seven hundred research papers were publish...
176
click to vote
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...