I will show the current status of the RISCOSS project after 2 year of work; I will focus in particular on the implementation work done, showing the actual models that have been developed and how they are used by the inference system, and presenting the platform and its functionalities.
You are here
I will present the paper: Alessandra Gorla, Ilaria Tavecchia, Florian Gross, and Andreas Zeller. "Checking App Behavior Against App Descriptions" Proceedings of the 36th International Conference on Software Engineering (ICSE 2014). Pages 1025-1035. ACM New York, NY, USA.
I will present the work: "Modelling Business and Software Ecosystems”, by Xavier Franch, Angelo Susi, Eric S.K. Yu.
Paolo Tonella, Roberto Tiella, Cu Duy Nguyen, "Interpolated N-Grams for Model Based Testing" [ICSE 2014]
Models – in particular finite state machine models – provide an invaluable source of information for the derivation of effective test cases. However, models usually approximate part of the program semantics and capture only some of the relevant dependencies and constraints. As a consequence, some of the test cases that are derived from models are infeasible.
The seminar is about the following paper:
"Coverage is not strongly correlated with test suite effectiveness" by Laura Inozemtseva and Reid Holmes [ICSE'14]
On: "Data-intensive applications, challenges, techniques and technologies: A survey on Big Data" by C.L. Philip Chen and Chun-Yang Zhang; Information Sciences, 2014.