Search Results - parallel program execution ((treating OR testing) OR heating)*

Mobile Apps Performance Testing as a Service for Parallel Test Execution and Automatic Test Result Analysis by Ali, Amira, Maghawry, Huda Amin, Badr, Nagwa

“… Performance testing is a crucial activity that evaluates the behavior of the application under test (AUT…”
Get full text

Programming and execution models for parallel bounded exhaustive testing by Awar, Nader Al, Jain, Kush, Rossbach, Christopher J., Gligoric, Milos

“… We present the first programming and execution models, dubbed Tempo, for parallel exploration of hybrid test generation programs…”
Get full text

Reducing branch divergence to speed up parallel execution of unit testing on GPUs by Bagies, Taghreed, Le, Wei, Sheaffer, Jeremy, Jannesari, Ali

“…Software testing is an essential phase in the software development life cycle. One of the important types of software testing is unit testing and its execution is time-consuming and costly…”
Get full text

Compiling Parallel Symbolic Execution with Continuations by Wei, Guannan, Jia, Songlin, Gao, Ruiqi, Deng, Haotian, Tan, Shangyin, Bracevac, Oliver, Rompf, Tiark

“…Symbolic execution is a powerful program analysis and testing technique. Symbolic execution engines are usually implemented as interpreters, and the induced interpretation over-head can dramatically inhibit performance…”
Get full text

An Abstract Interpretation-Based Framework for WCET Analysis of Parallel Programs by Hu, Xinbang, Liu, Guanjun, Li, Xiaofeng, Zhang, Kaiwen, Guan, Jian, Gu, Bin

“…Estimating the Worst-Case Execution Time (WCET) of programs in an embedded multi-core environment is fundamental for schedulability analysis…”
Get full text

A Systolic Genetic Search for reducing the execution cost of regression testing by Pedemonte, Martín, Luna, Francisco, Alba, Enrique

“…).•SGS outperforms two evolutionary algorithms and four heuristics specially designed for this problem on instances from eight real-world programs…”
Get full text

Analysing the combination of cost reduction techniques in Android mutation testing by Polo‐Usaola, Macario, Rodríguez‐Trujillo, Isyed

“… This paper analyses how the combination of different cost reduction techniques improves the execution time of mutation testing in mobile apps…”
Get full text

A survey of new trends in symbolic execution for software testing and analysis by Păsăreanu, Corina S., Visser, Willem

“…Symbolic execution is a well-known program analysis technique which represents program inputs with symbolic values instead of concrete, initialized, data and executes the program by manipulating…”
Get full text

Performance Evaluation of ParalleX Execution model on Arm-based Platforms by Gupta, Nikunj, Ashiwal, Rohit, Brank, Bine, Peddoju, Sateesh K., Pleiter, Dirk

“…The HPC community shows a keen interest in creating diversity in the CPU ecosystem. The advent of Arm-based processors provides an alternative to the existing…”
Get full text

BigTest: A Symbolic Execution Based Systematic Test Generation Tool for Apache Spark by Ali Gulzar, Muhammad, Musuvathi, Madanlal, Kim, Miryung

“… Current practices of testing DISC applications are limited to using a small random sample of the entire input dataset which merely exposes any program faults…”
Get full text

An Enhanced Parallel Automation Testing Architecture for Test Case Execution by Nagy, Sarah M., Maghawry, Huda A., Badr, Nagwa L.

“… As a result, as business requirements expand, the demand on the testing team to deliver a high-quality product in a short amount of time grows…”
Get full text

STILE: a Tool for Parallel Execution of E2E Web Test Scripts by Olianas, Dario, Leotta, Maurizio, Ricca, Filippo, Biagiola, Matteo, Tonella, Paolo

“…, one test case sets up the application state expected by another test case). In this paper we present Stile, a tool for the parallel execution of Web test scripts…”
Get full text

Libra: Tailoring SIMD Execution Using Heterogeneous Hardware and Dynamic Configurability by Park, Yongjun, Park, Jason Jong Kyu, Park, Hyunchul, Mahlke, Scott

“…Mobile computing as exemplified by the smart phone has become an integral part of our daily lives. The next generation of these devices will be driven by…”
Get full text

Unlocking Ordered Parallelism with the Swarm Architecture by Jeffrey, Mark C., Subramanian, Suvinay, Cong Yan, Emer, Joel, Sanchez, Daniel

“…The authors present Swarm, a parallel architecture that exploits ordered parallelism, which is abundant but hard to mine with current software and hardware techniques…”
Get full text

Parallel mutation testing for large scale systems by Cañizares, Pablo C., Núñez, Alberto, Filgueira, Rosa, de Lara, Juan

“…Mutation testing is a valuable technique for measuring the quality of test suites in terms of detecting faults…”
Get full text

Optimizing the Execution Core for Value Prediction in Superscalar Processors by Zhang, Yibo, Gong, Lei, Wang, Chao, Zhou, Xuehai

“…) in superscalar processors. However, the performance gains from value prediction are often constrained by the execution core's ability to manage the resulting instruction pressure and arbitrate resource contention…”
Get full text

Reducing scheduling sequences of message-passing parallel programs by Gong, Dunwei, Zhang, Chen, Tian, Tian, Li, Zheng

“…Context: Message-passing parallel programs are commonly used parallel programs. Various scheduling sequences contained in these programs, however, increase the difficulty of testing…”
Get full text

Configuration of Parallel Real-Time Applications on Multi-Core Processors by Gharajeh, Mohammad Samadi, Carvalho, Tiago, Pinho, Luis Miguel

“…) or considering only sequential algorithms. How to provide an efficient configuration for the allocation of the parallel program in the computing units of the processor is still an open challenge…”
Get full text

Sampling-Based Phase Classification and Prediction for Multi-threaded Program Execution on Multi-core Architectures by Chin-Hao Chang, Pangfeng Liu, Jan-Jan Wu

“…Program executions are usually repetitive, hence, we can optimize program executions if we are able to identify the program's repetition pattern…”
Get full text

Light64: lightweight hardware support for data race detection during systematic testing of parallel programs by Nistor, Adrian, Marinov, Darko, Torrellas, Josep

“…Developing and testing parallel code is hard. Even for one given input, a parallel program can have many possible different thread interleavings, which are hard…”
Get full text