Funder
National Natural Science Foundation of China
the Scientific Research Project of the Education Department of Hubei Province, China
the Youths Science Foundation of Wuhan Institute of Technology
the Surveying and Mapping Geographic Information Public Welfare Scientific Research Special Industry
the Educational Commission of Hubei Province, China
the China Postdoctoral Science Foundation
the Key Program of Higher Education Institutions of Henan Province, China
the Natural Science Foundation of Henan Province, China
Publisher
Zhejiang University Press
Subject
Electrical and Electronic Engineering,Computer Networks and Communications,Hardware and Architecture,Signal Processing
Reference28 articles.
1. Alur R, Černý P, Madhusudan P, et al., 2005. Synthesis of interface specifications for Java classes. ACM SIGPLAN Not, 40(1):98–109.
https://doi.org/10.1145/1047659.1040314
2. Ammons G, Bodík R, Larus JR, 2002. Mining specifications. ACM SIGPLAN Not, 37(1):4–16.
https://doi.org/10.1145/565816.503275
3. Bruce KB, Wegner P, 1986. An algebraic model of sybtypes in object-oriented languages (draft). ACM SIGPLAN Not, 21(10):163–172.
https://doi.org/10.1145/323648.323756
4. Caserta P, Zendra O, 2014. JBInsTrace: a tracer of Java and JRE classes at basic-block granularity by dynamically instrumenting bytecode. Sci Comput Program, 79:116–125.
https://doi.org/10.1016/j.scico.2012.02.004
5. Chang RY, Podgurski A, Yang J, 2007. Finding what’s not there: a new approach to revealing neglected conditions in software. Proc Int Symp on Software Testing and Analysis, p.163–173.
https://doi.org/10.1145/1273463.1273486