Search Results - "Computing methodologies Artificial intelligence Search methodologies"

LEGION: Best-First Concolic Testing by Liu, Dongge, Ernst, Gidon, Murray, Toby, Rubinstein, Benjamin I.P.

“…Concolic execution and fuzzing are two complementary coverage-based testing techniques. How to achieve the best of both remains an open challenge. To address…”
Get full text

GENESYS: A novel evolutionary program synthesis tool with continuous optimization by Mandal, Shantanu, Anderson, Todd A, Turek, Javier, Gottschlich, Justin, Muzahid, Abdullah

“…Automatic software generation based on some specification is known as program synthesis. Most existing approaches formulate program synthesis as a search…”
Get full text

Enhancing Genetic Improvement of Software with Regression Test Selection by Guizzo, Giovani, Petke, Justyna, Sarro, Federica, Harman, Mark

“…Genetic improvement uses artificial intelligence to automatically improve software with respect to non-functional properties (AI for SE). In this paper, we…”
Get full text

CompilerGym: Robust, Performant Compiler Optimization Environments for AI Research by Cummins, Chris, Wasti, Bram, Guo, Jiadong, Cui, Brandon, Ansel, Jason, Gomez, Sahir, Jain, Somya, Liu, Jia, Teytaud, Olivier, Steiner, Benoit, Tian, Yuandong, Leather, Hugh

“…Interest in applying Artificial Intelligence (AI) techniques to compiler optimizations is increasing rapidly, but compiler research has a high entry barrier…”
Get full text

SAPO: Improving the Scalability and Accuracy of Quantum Linear Solver for Portfolio Optimization by Zhu, Tianze, Lu, Liqiang, Chen, Jiajun, Chen, Yuhang, Chen, Hengrui, Xi, Meng, Zhang, Jinshan, Sun, Xiaoming, Yin, Jianwei

“…Portfolio optimization is one of the most important financial problem, suffering from huge computational pressure due to arithmetic complexity. Quantum…”
Get full text

GAssert: A Fully Automated Tool to Improve Assertion Oracles by Terragni, Valerio, Jahangirova, Gunel, Tonella, Paolo, Pezze, Mauro

“…This demo presents the implementation and usage details of GASSERT, the first tool to automatically improve assertion oracles. Assertion oracles are executable…”
Get full text

A practical guide for using statistical tests to assess randomized algorithms in software engineering by Arcuri, Andrea, Briand, Lionel

“…Randomized algorithms have been used to successfully address many different types of software engineering problems. This type of algorithms employ a degree of…”
Get full text

Instruction Scheduling for the GPU on the GPU by Shobaki, Ghassan, Muyan-Ozcelik, Pinar, Hutton, Josh, Linck, Bruce, Malyshenko, Vladislav, Kerbow, Austin, Ramirez-Ortega, Ronaldo, Gordon, Vahl Scott

“…In this paper, we show how to use the GPU to parallelize a precise instruction scheduling algorithm that is based on Ant Colony Optimization (ACO). ACO is a…”
Get full text

Accelerating Decision-Tree-Based Inference Through Adaptive Parallelization by Van Lunteren, Jan

“…Gradient-boosted trees and random forests are among the most popular machine learning algorithms. They are applied to a broad spectrum of applications as…”
Get full text

Adaptive bug isolation by Arumuga Nainar, Piramanayagam, Liblit, Ben

“…Statistical debugging uses lightweight instrumentation and statistical models to identify program behaviors that are strongly predictive of failure. However,…”
Get full text

FastCA: An Effective and Efficient Tool for Combinatorial Covering Array Generation by Lin, Jinkun, Cai, Shaowei, He, Bing, Fu, Yingjie, Luo, Chuan, Lin, Qingwei

“…Combinatorial interaction testing (CIT) is a popular approach to detecting faults in highly configurable software systems. The core task of CIT is to generate…”
Get full text

Automatically finding patches using genetic programming by Weimer, Westley, Nguyen, ThanhVu, Le Goues, Claire, Forrest, Stephanie

“…Automatic program repair has been a longstanding goal in software engineering, yet debugging remains a largely manual process. We introduce a fully automated…”
Get full text

DeepLSH: Deep Locality-Sensitive Hash Learning for Fast and Efficient Near-Duplicate Crash Report Detection by Remil, Youcef, Bendimerad, Anes, Mathonat, Romain, Raissi, Chedy, Kaytoue, Mehdi

“…Automatic crash bucketing is a crucial phase in the software de-velopment process for efficiently triaging bug reports. It generally consists in grouping…”
Get full text

Optimizing Tensor Computation Graphs with Equality Saturation and Monte Carlo Tree Search by Hartmann, Jakob, He, Guoliang, Yoneki, Eiko

“…The real-world effectiveness of deep neural networks often depends on their latency, thereby necessitating optimization techniques that can reduce a model's…”
Get full text

Search-Based Test Generation for Android Apps by Moreno, Ivan Arcuschin

“…Despite their growing popularity, apps tend to contain defects which can ultimately manifest as failures (or crashes) to endusers. Different automated tools…”
Get full text

Evolutionary Computation and Reinforcement Learning for Cyber-physical System Design by Lu, Chengjie

“…Cyber-physical systems (CPSs) are designed to in-tegrate computation and physical processes through constantly interacting with the physical environment. The…”
Get full text

On the automation of fixing software bugs by Arcuri, Andrea

“…Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing…”
Get full text

AutoCCAG: An Automated Approach to Constrained Covering Array Generation by Luo, Chuan, Lin, Jinkun, Cai, Shaowei, Chen, Xin, He, Bing, Qiao, Bo, Zhao, Pu, Lin, Qingwei, Zhang, Hongyu, Wu, Wei, Rajmohan, Saravanakumar, Zhang, Dongmei

“…Combinatorial interaction testing (CIT) is an important technique for testing highly configurable software systems with demonstrated effectiveness in practice…”
Get full text

Neuromorphic Monte Carlo Tree Search Methods for Shortest Path Interdiction by Ho, Yang, Carbajal, Armida, Escamilla, Leonardo, Pinar, Ali

“…Monte Carlo tree search (MCTS) is a commonly used heuristic algorithm to explore extremely large search spaces for decision making in general and for tackling…”
Get full text

Domain Specific Languages for Optimisation Modelling by Wijesundara, Sameela Suharshani

“…Despite significant advances in computational approaches for modelling and solving combinatorial optimisation problems, there are still considerable barriers…”
Get full text