1. Bagnara, R., Hill, P.M., Zaffanella, E.: The ppl: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. Tech. rep., Dipartimento di Matematica, Universit‘a di Parma, Italy (2006)
2. Bauer, C., King, G.: Hibernate in Action. Manning Publications Co. (2004)
3. Canfora, G., Cimitile, A., Lucia, A.D.: Conditioned program slicing. Information and Software Technology 40(11–12), 595–607 (1998)
4. Lecture Notes in Computer Science;L Chen,2008
5. Lecture Notes in Computer Science;A Cortesi,2014