| Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds. | 0 | 0.34 | 2021 |
| Automatically Identifying Sufficient Object Builders from Module APIs. | 0 | 0.34 | 2019 |
| Automatically Identifying Sufficient Object Builders from Module APIs. | 0 | 0.34 | 2019 |
| Improving lazy abstraction for SCR specifications through constraint relaxation. | 1 | 0.36 | 2018 |
| Automated Workarounds from Java Program Specifications Based on SAT Solving. | 0 | 0.34 | 2018 |
| On the effect of object redundancy elimination in randomly testing collection classes. | 0 | 0.34 | 2018 |
| From operational to declarative specifications using a genetic algorithm. | 0 | 0.34 | 2018 |
| Goal-conflict likelihood assessment based on model counting. | 1 | 0.35 | 2018 |
| What is a fault? and why does it matter? | 1 | 0.36 | 2017 |
| Automated Workarounds from Java Program Specifications Based on SAT Solving. | 0 | 0.34 | 2017 |
| An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications. | 1 | 0.34 | 2016 |
| Debugging without Testing | 5 | 0.49 | 2016 |
| Field-exhaustive testing. | 4 | 0.39 | 2016 |
| TacoFlow: optimizing SAT program verification using dataflow analysis | 2 | 0.37 | 2015 |
| BLISS: Improved Symbolic Execution by\ Bounded Lazy Initialization with SAT Support | 14 | 0.60 | 2015 |
| Model Counting for Complex Data Structures | 6 | 0.44 | 2015 |
| On Faults and Faulty Programs. | 2 | 0.37 | 2014 |
| Heterogenius : A Framework For Hybrid Analysis Of Heterogeneous Software Specifications | 2 | 0.37 | 2014 |
| Bounded exhaustive test input generation from hybrid invariants | 5 | 0.40 | 2014 |
| Semantic metrics for software products | 3 | 0.43 | 2014 |
| Inference engine based on closure and join operators over Truth Table Binary Relations. | 0 | 0.34 | 2014 |
| Dynamite: A tool for the verification of alloy models based on PVS | 1 | 0.34 | 2014 |
| Efficient Tight Field Bounds Computation Based on Shape Predicates. | 2 | 0.36 | 2014 |
| RepOK-based reduction of bounded exhaustive testing | 1 | 0.35 | 2014 |
| Parallel Bounded Verification of Alloy Models by TranScoping. | 2 | 0.39 | 2013 |
| TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds | 24 | 0.75 | 2013 |
| Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving | 12 | 0.53 | 2013 |
| Bounded Lazy Initialization. | 3 | 0.39 | 2013 |
| Parallel bounded analysis in code with rich invariants by refinement of field bounds | 4 | 0.41 | 2013 |
| Using coverage criteria on RepOK to reduce bounded-exhaustive test suites | 2 | 0.38 | 2012 |
| Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputs | 3 | 0.40 | 2011 |
| A dataflow analysis to improve SAT-based bounded program verification | 5 | 0.45 | 2011 |
| ParAlloy: towards a framework for efficient parallel analysis of alloy models | 4 | 0.43 | 2010 |
| Alloy+HotCore: a fast approximation to unsat core | 6 | 0.48 | 2010 |
| Dynamite 2.0: new features based on UnSAT-core extraction to improve verification of software requirements | 3 | 0.43 | 2010 |
| Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy | 2 | 0.43 | 2009 |
| Towards Abstraction for DynAlloy Specifications | 1 | 0.36 | 2008 |
| Alloy analyzer+PVS in the analysis and verification of alloy specifications | 10 | 0.73 | 2007 |
| Efficient Analysis of DynAlloy Specifications | 12 | 0.59 | 2007 |
| Interpretability of first-order linear temporal logics in fork algebras | 5 | 0.50 | 2006 |
| DynAlloy as a Formal Method for the Analysis of Java Programs | 12 | 0.75 | 2006 |
| Monotonicity analysis can speed up verification | 0 | 0.34 | 2006 |
| Fork algebras as a sufficiently rich universal institution | 2 | 0.38 | 2006 |
| A strategy for efficient verification of relational specifications, based on monotonicity analysis | 1 | 0.36 | 2005 |
| Reasoning about static and dynamic properties in alloy: A purely relational approach | 12 | 0.86 | 2005 |
| DynAlloy: upgrading alloy with actions | 57 | 1.97 | 2005 |
| An Equational Calculus for Alloy | 9 | 0.91 | 2004 |
| Taking Alloy to the Movies | 5 | 0.61 | 2003 |
| Interpretability of First-Order Dynamic Logic in a Relational Calculus | 5 | 0.55 | 2001 |
| How to say Greedy in Fork Algebras | 0 | 0.34 | 2000 |
