13 citations · 23 across the 10 of their papers we have counts for
5 papers · 1 filter
Automated inference of production rules for glycans
Ansuman Biswas, Ashutosh Gupta, Meghana Missula +1
Glycans are tree-like polymers made up of sugar monomer building blocks. They are found on the surface of all living cells, and distinct glycan trees act as identity markers for di…
Matching Multiplications in Bit-Vector Formulas
Supratik Chakraborty, Ashutosh Gupta, Rahul Jain
Bit-vector formulas arising from hardware verification problems often contain word-level arithmetic operations. Empirical evidence shows that state-of-the-art SMT solvers are not v…
Abstraction-driven Concolic Testing
Przemysław Daca, Ashutosh Gupta, Thomas A. Henzinger
Concolic testing is a promising method for generating test suites for large programs. However, it suffers from the path-explosion problem and often fails to find tests that cover d…
Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof
Georg Hofferek, Ashutosh Gupta, Bettina Könighofer +2
It is often difficult to correctly implement a Boolean controller for a complex system, especially when concurrency is involved. Yet, it may be easy to formally specify a controlle…
Generalised Interpolation by Solving Recursion-Free Horn Clauses
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko
In this paper we present InterHorn, a solver for recursion-free Horn clauses. The main application domain of InterHorn lies in solving interpolation problems arising in software ve…