16725 search results - page 573 / 3345 » Engineering Software Correctness |
195
click to vote
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
221
click to vote
APSEC
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
198
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Fast real-time feasibility tests and analysis algorithms are necessary for a high acceptance of the formal techniques by industrial software engineers. This paper presents a possi...
193
click to vote
STEP
2003
IEEE
16 years 11 days ago
2003
IEEE
When testing a program, correctly executed test cases are seldom explored further, even though they may carry useful information. Metamorphic testing proposes to generate follow-u...
210
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Complexity has undesirable effects on, among others, the correctness, maintainability, and understandability of business process models. Yet, measuring complexity of business proce...