Publication date
January 2012
DOI Publisher
Institute of Electrical and Electronics Engineers (IEEE)Abstract
10.1109/TASE.2012.40Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 20125-
10.1109/TASE.2012.40Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 20125-
Computers are becoming increasingly ubiquitous in all aspects of our life. It is becoming more and m...
Chapter 3International audienceFor software systems, models can be learned from behavioral traces, a...
The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Confe...
Traditionally, the focus of specification mechanism has been on improving its ability to cover a wid...
Formal verification is a popular approach for program quality and correctness especially as an alter...
10.1109/TASE.2009.32Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of So...
In the long run, programs should be written from the start with verification in mind. Programs writt...
10.1109/TASE.2009.63Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of So...
10.1145/1734229.1734232ACM Transactions on Software Engineering and Methodology194ATSM
Despite their proven benefits, useful, comprehensible, and efficiently checkable specifications are ...
Program verification and testing techniques are crucial in fruitfully analyzing and validating compl...
We survey some recent developments in giving a logical reconstruction of specification-based testing...
Formal verification is a popular approach for program quality and correctness especially as an alter...
The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Confe...
Computers are becoming increasingly ubiquitous in all aspects of our life. It is becoming more and m...
Computers are becoming increasingly ubiquitous in all aspects of our life. It is becoming more and m...
Chapter 3International audienceFor software systems, models can be learned from behavioral traces, a...
The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Confe...
Traditionally, the focus of specification mechanism has been on improving its ability to cover a wid...
Formal verification is a popular approach for program quality and correctness especially as an alter...
10.1109/TASE.2009.32Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of So...
In the long run, programs should be written from the start with verification in mind. Programs writt...
10.1109/TASE.2009.63Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of So...
10.1145/1734229.1734232ACM Transactions on Software Engineering and Methodology194ATSM
Despite their proven benefits, useful, comprehensible, and efficiently checkable specifications are ...
Program verification and testing techniques are crucial in fruitfully analyzing and validating compl...
We survey some recent developments in giving a logical reconstruction of specification-based testing...
Formal verification is a popular approach for program quality and correctness especially as an alter...
The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Confe...
Computers are becoming increasingly ubiquitous in all aspects of our life. It is becoming more and m...
Computers are becoming increasingly ubiquitous in all aspects of our life. It is becoming more and m...
Chapter 3International audienceFor software systems, models can be learned from behavioral traces, a...
The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Confe...
Add to ORKG
