Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing

@inproceedings{Bucchiarone2004ModelCheckingPT,
  title={Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing},
  author={Antonio Bucchiarone and Henry Muccini and Patrizio Pelliccione and Pierluigi Pierini},
  booktitle={FORTE Workshops},
  year={2004}
}
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaustive and automatic analysis of the system expressed through a model, software testing is based on a clever selection of “relevant” test cases, which may be manually or automatically run over the system. In this paper we analyze how those two analysis techniques may be integrated in a specific context, where a Software… CONTINUE READING
8 Citations
21 References
Similar Papers

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…