Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking

Galeotti, Juan Pablo and Furia, Carlo A. and May, Eva and Fraser, Gordon and Zeller, Andreas
(2015) Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking.
IEEE Transactions of Software Engineering, 41 (10). 1019–1037.

Full text not available from this repository.
Official URL: https://doi.org/10.1109/TSE.2015.2431688
Item Type: Article
Depositing User: Sebastian Weisgerber
Date Deposited: 23 Feb 2018 12:31
Last Modified: 24 Apr 2020 15:36
Primary Research Area: NRA4: Secure Mobile and Autonomous Systems
URI: https://publications.cispa.saarland/id/eprint/2431

Actions

Actions (login required)

View Item View Item
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.