{Zang, Zhiqiang and Yu, Fu-Yao and Wiatrek, Nathaniel and Gligoric, Milos and Shi, August},title={{JA}ttack: {J}ava {JIT} Testing using Template Programs},booktitle={International Conference on Software Engineering, Tool Demonstrations Track},pages={6--10},year={2023},doi={10.1109/ICSE...
In: Proc. 22nd International Conference on Software Engineering (ICSE) (June 2000) Google Scholar Corbett, J.C.: Using shape analysis to reduce finite-state models of concurrent Java programs. ACM Transactions on Software Engingeering and Methodology 9(1), 51–93 (2000) Article MathSciNet ...
Reinforcement learning withRLCheck(based on a fork of JQF) [ICSE'20 paper] Mutation-analysis-guided fuzzing withMu2[ISSTA'23 paper] JQF has been successful indiscovering a number of bugs in widely used open-source softwaresuch as OpenJDK, Apache Maven and the Google Closure Compiler. ...
icse class 10 isc class 11 isc class 12 ias ias exam upsc exam civil service exam upsc syllabus ias topper free ias prep upsc results upsc prelims result upsc mains result current affairs list of current affairs articles list of ias articles public service commission kpsc kas exam uppsc pcs...
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...
ICSE ’07: Proceedings of the 29th International Conference on Software Engineering, IEEE Computer Society, Washington, DC, USA (2007), pp. 65-74 Google Scholar [43] J. Zhao Data-flow-based unit testing of Aspect-Oriented programs Proceedings of the 27th Annual IEEE International Computer Softwa...
ICSE: International Conference on Software Engineering 软件工程方向的权威会议,接收率不到20%。除了main conference之外,还包括tutorials, workshops, symposia以及collocated conferences。 编译技术 90 ISCA: International Conference on Computer Architecture ISCA是由IEEE和ACM主办的国际会议,每年一次。主要关注处理器...
The two big conferences, ICSE (over 1000 participants) and ESEC/FSE (over 300 participants), exhibit an impact on around 11-12% of the papers. For the smaller ISSTA conference, more than 25% of the papers are (co-)funded through Coalition S. This number reflects the composition of the ...
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 descr
Bug datasets have been created and used by many researchers to build and validate novel bug prediction models. In this work, our aim is to collect existing