![](https://dblp.uni-trier.de./img/logo.320x120.png)
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
Science of Computer Programming, Volume 120
Volume 120, May 2016
- Gianluca Amato
, Francesca Scozzari
, Helmut Seidl
, Kalmer Apinis, Vesal Vojdani
:
Efficiently intertwining widening and narrowing. 1-24 - Fevzi Belli, Christof J. Budnik, Axel Hollmann, Tugkan Tuglular
, W. Eric Wong:
Model-based mutation testing - Approach and case studies. 25-48
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.