For example, a generator for type Calendar returns randomly-generated Calendar objects. One can easily write generators for more complex types, such as XML documents, JavaScript programs, JVM class files, SQL queries, HTTP requests, and many more -- this is generator-based fuzzing. However, ...
Building past snapshots of a software project has shown to be of interest both for researchers and practitioners. However, little attention has been devote
The modular analysis of control flow of incomplete Java bytecode programs is challenging, mainly because of the complex semantics of the language, and the unknown inter-dependencies between the available and unavailable components. In this paper we describe a technique for incremental, modular extractio...
一种是回到该文献的上层目录,即将文献名删除,保留反斜杠回车即可,如:http://www.parknride/com/documents/prdemand.pdf,则应该再回溯到上层目录:http://www.parknride/com/documents/,有些网站没有设限制,可以看到很多相关文献,或者会找到一些有用的连接,有必要可以再往上层走,一般都会有收获。 还有一种就是...
not a part of the java platform, javascript is a scripting language that is object based and helps to create web pages that are interactive. this language follows all the rules of the client side programming, so it functions on the web browser without any need for interference or resources ...
A customization of these techniques is needed to embed a set of “change type” rules that are relevant for security weaknesses (e.g., replace mutableMapOf with ConcurrentHashMap if the class extends Thread). Another common weakness related to the improper control of resources is CWE-668: Exp...
Huitt Maintenance support for Object-Oriented programs IEEE Trans. Softw. Eng., 18 (12) (1992), pp. 1038-1044 View in ScopusGoogle Scholar [42] G. Xu, A. Rountev Regression test selection for AspectJ software ICSE ’07: Proceedings of the 29th International Conference on Software ...
US6662359 Jul 20, 2000 Dec 9, 2003 International Business Machines Corporation System and method for injecting hooks into Java classes to handle exception and finalization processingUS6662359 2000年7月20日 2003年12月9日 International Business Machines Corporation System and method for injecting hooks ...
Methods structure The essential choice for modelling the behaviour of programs is to get a finite, parameterized representation that take into account the pa- rameters of recursive methods, and the representation of objects in the store. We give the rational for these two points, before describing...
Over the years, Design by Contract (DbC) has evolved as a powerful concept for program documentation, testing, and verification. Contracts formally specify assertions on (mostly) object-oriented programs: pre- and postconditions of methods, class invariants, allowed call orders, etc. Missing in th...