Preface: Special Issue on Software Verification and Testing (Selected Papers from SAC-SVT'15)
Texte intégral
Documents relatifs
All carried out an excellent job dur- ing this demanding process: Erika Abraham (RWTH Aachen University, Ger- many), Farhad Arbab (CWI and Leiden University, The Netherlands),
Besides the authors of the papers, we would like to thank the members of the Program Committee of the workshop: Farhad Arbab (CWI, The Netherlands), Luis Barbosa (University of
Be- sides the authors of the papers, we would like to thank the members of the Program Committee of the workshop: Farhad Arbab (CWI, The Netherlands), Luis Barbosa (University of
Referring to the submaximal 150-W condition, the data showed that all-out sprint induced a higher increase of the mean (RMS cycle ) and peak (RMS peak ) level of activity
The fourth paper “A feature matching and transfer approach for cross- company defect prediction” by Yu, Jiang and Zhang, focuses on software defect prediction and presents a
In our previous work [2,3,4] we have proposed and implemented an approach to automate software testing by modelling the testing body of knowledge with formal on- tologies and
It also helps to identify and address unanticipated issues better, optimize the process to improve the degree of benefit, realize the potential to make new modifications
This paper is also a continuance study which follows our soft- ware engineering research group’s prior case studies on software engineering and university-level education, for