Testing Software and Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

15
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642245794, 9783642245800
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Using Testing Techniques for Vulnerability Detection in C Programs

2011 ◽  
pp. 80-96 ◽  
Author(s):  
Amel Mammar ◽  
Ana Cavalli ◽  
Willy Jimenez ◽  
Wissam Mallouli ◽  
Edgardo Montes de Oca
Keyword(s):  
Vulnerability Detection ◽  
C Programs ◽  
Testing Techniques

scholarly journals Praspel: A Specification Language for Contract-Based Testing in PHP

2011 ◽  
pp. 64-79 ◽  
Author(s):  
Ivan Enderlin ◽  
Frédéric Dadeau ◽  
Alain Giorgetti ◽  
Abdallah Ben Othman
Keyword(s):  
Specification Language

scholarly journals A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain

2011 ◽  
pp. 146-161 ◽  
Author(s):  
Jan Peleska ◽  
Artur Honisch ◽  
Florian Lapschies ◽  
Helge Löding ◽  
Hermann Schmid ◽  
...  
Keyword(s):  
Real Time ◽  
Real World ◽  
Real Time Systems ◽  
Benchmark Model ◽  
Time Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document