Search Results - Testing and Debugging— Testing tools General Terms Design*

Transistency Models: Memory Ordering at the Hardware-OS Interface by Lustig, Daniel, Sethi, Geet, Bhattacharjee, Abhishek, Martonosi, Margaret

“…Modern computer systems include numerous compute elements, from CPUs to GPUs to accelerators. Harnessing their full potential requires well-defined,…”
Get full text

Towards a Comprehensive Test Suite for Detectors of Design Patterns by Wegrzynowicz, P., Stencel, K.

“…Detection of design patterns is an important part of reverse engineering. Availability of patterns provides for a better understanding of code and also makes analysis more efficient in terms of time and cost…”
Get full text

A Differential Testing Framework to Identify Critical AV Failures Leveraging Arbitrary Inputs by Woodlief, Trey, Hildebrandt, Carl, Elbaum, Sebastian

“… Current datasets lack such oracles and developing them is notoriously difficult. In response, we propose Difftest4av,a differential testing framework designed to address the unique…”
Get full text

Kubernetes for Developers by Joseph Heck

“…Kubernetes is a powerful container orchestration platform that can significantly improve the way developers build, test, and deploy applications. In…”
Get full text

Designing the HCP Software for Measuring Tree Height and Canopy Diameter Simultaneously in Southern Zagros by Mohammad Javad Taheri Sarteshnizi, Asghar Fallah, Habibollah Ramezani Moziraji, Jahangir Mohammadi

“… Until now, the devices and tools introduced in forestry science have only been able to measure a specific component, e.g…”
Get full text

Celadon: a change impact analysis tool for aspect-oriented programs by Zhang, Sai, Gu, Zhongxian, Lin, Yu, Zhao, Jianjun

“…To reduce the manual effort of assessing potential affected program parts during software evolution, we develop a tool, called Celadon, which automates the change impact analysis for AspectJ programs…”
Get full text

Development of a debugger for a concurrent language by Baiardi, F., De Francesco, N., Vaglini, G.

“…The authors discuss issues related to the debugging of concurrent programs. A set of desirable characteristics for a debugger for concurrent languages…”
Get full text

CMender: Code Mending Tool to Enable Large-Scale Analysis of Incomplete C Code by Silva, Pedro Miguel Jesus da

“…Static analysis techniques, particularly those using Abstract Syntax Trees (ASTs), are widely employed, for example, to detect vulnerabilities and extract design patterns…”
Get full text

HCI∧2 framework: a software framework for multimodal human-computer interaction systems by Shen, Jie, Pantic, Maja

“…This paper presents a novel software framework for the development and research in the area of multimodal human-computer interface (MHCI) systems. The proposed…”
Get full text

MACKE: Compositional analysis of low-level vulnerabilities with symbolic execution by Ognawala, Saahil, Ochoa, Martin, Pretschner, Alexander, Limmer, Tobias

“… However, symbolic execution tools that are designed to optimize statement coverage often fail to cover potentially vulnerable code because of complex system interactions and scalability issues of constraint solvers…”
Get full text

Which Inputs Trigger My Patch? by Eberlein, Martin, Raselimo, Moeketsi, Grunske, Lars

“… In this paper, we introduce Avicennapatch, a novel tool de-signed to provide precise explanations of the input structures that are covered by the patch…”
Get full text

Automated software debugging using hybrid static/dynamic analysis by Elsaka, Ethar

“… While software debugging remains largely manual, it is not the case with software testing and verification…”
Get full text

Mutation analysis with coverage discounting by Lisherness, Peter, Lesperance, Nicole, Cheng, Kwang-Ting (Tim)

“…Mutation testing is an established technique for evaluating validation thoroughness, but its adoption has been limited by the manual effort required to analyze the results…”
Get full text

Grammar-driven generation of domain-specific language testing tools using aspects by Wu, Hui

“… Testing tool support for DSLs is lacking when compared to the capabilities provided for standard general-purpose languages (GPLs…”
Get full text

Talend Open Studio cookbook: over 100 recipes to help you master Talend Open Studio and become a more effective data integration developer by Barton, Rick

“…Data integration is a key component of an organization’s technical strategy, yet historically the tools have been very expensive…”
Get full text

Talend Open Studio Cookbook by Barton, Rick

“…Primarily designed as a reference book, simple and effective exercises based upon genuine real-world tasks enable the developer to reduce the time to deliver the results…”
Get full text

Extensible and robust functional reactive programming by Perez Dominguez, Ivan

“…Programming GUI and multimedia in functional languages has been a long-term challenge, and no solution convinces the community at large…”
Get full text