Building past snapshots of a software project has shown to be of interest both for researchers and practitioners. However, little attention has been devote
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, ...
MapReduce, which helps reduce the complexity of writing parallel programs by facilitating big data processing [8] on multiple nodes using succinct functional-like programming constructs, is a popular programming paradigm for writing a specific class of parallel programs. It makes writing parallel code ...
de Carvalho Gomes, P., Picoco, A., Gurov, D. (2014). Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs. In: Gnesi, S., Rensink, A. (eds) Fundamental Approaches to Software Engineering. FASE 2014. Lecture Notes in Computer Science, vol 8411. Springer, Berlin,...
Running multithreaded workloads, as is the case for most Java programs, requires thread scheduling in the operating system and/or virtual ma- chine. Different executions of the same program may in- troduce different thread schedules, and may result in dif- ferent interactions between threads, ...
SuperComputing:The International Conference for High Performance Computing and Communications 高性能计算机方向公认的高水平会议之一,第一届会议是1988年,每年11月举行,4、5月份投稿。会议内容包括technical and education programs,workshops,tutorials以及展览的一系列活动供与会者参加。SuperComputing“is the one place ...
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 ...
Security vulnerability fixes could be a promising research avenue for Automated Program Repair (APR) techniques. In recent years, APR tools have been thoro
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...
ICSE 2014, ACM, New York, NY, USA (2014) 2. Beyer, D.: Advances in automatic software verification: SV-COMP 2020. In: Proc. TACAS (2). LNCS 12079, Springer (2020), https://www.sosy-lab.org/research/ pub/2020-TACAS.Advances in Automatic Software Verification SV-COMP 2020.pdf 3....