has given me a platform to share my programming topics to entire world. Surprisingly this is the 6th year. Realizing that I am not consistent in doing blog. Before a couple of days I could retrieve my logins after 1-2 years. In this 6th year anniversary, I like to resume...
Building past snapshots of a software project has shown to be of interest both for researchers and practitioners. However, little attention has been devote
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...
会议内容包括technical and education programs,workshops,tutorials以及展览的一系列活动供与会者参加。SuperComputing“is the one place that attendees can see tomorrow's technology being used to solve world-class challenge problems today”。官方网站为http://www.sc-conference.org 高性能计算 44 IEEE Int'...
Incremental testing of Object-Oriented class structures ICSE ’92: Proceedings of the 14th International Conference on Software Engineering, ACM Press, New York, NY, USA (1992), pp. 68-80 View in ScopusGoogle Scholar [11] M.J. Harrold, G. Rothermel Performing data flow testing on classes SI...
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...
The benchmark consists of 297 Java programs each having at least one failing test case. The IntroClassJava dataset is very similar to Defects4J; however, it does not provide the manually cleaned fixing patches. 2.4.3 QuixBugs QuixBugs is a benchmark for supporting automatic program repair ...
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...
These are not relevant for inter-class dependencies. Invocations on system classes are not visualized, because they can hardly be monitored. Furthermore, the monitoring of system classes can lead to large dependency graphs, because even small programs can involve many system classes in the back...
This suggests that the amount of training data is enough for each class. As expected, testing with cross-project validation, the classifier performance drops. However, this is a more reliable test for what to expect with JAVA comments from unseen projects. The weighted average TP rate that ...