Citation Impact
Citing Papers
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs
2008 Standout
Model Checking Programs
2003 Standout
VADA: a transformation-based system for variable dependence analysis
2003
Research on detection methods based on Doc2vec abnormal comments
2018
The worst-case execution-time problem—overview of methods and survey of tools
2008 Standout
Existence and Uniqueness of Fixed Point in Partially Ordered Sets and Applications to Ordinary Differential Equations
2006
Fixed point theorems in partially ordered metric spaces and applications
2006 Standout
A Modular Tool Architecture for Worst-Case ExecutionTime Analysis
2008
Contractive Mapping Theorems in Partially Ordered Sets and Applications to Ordinary Differential Equations
2005 Standout
Concept lattices defined from implication operators
2000
Search‐based software test data generation: a survey
2004 Standout
Research on the Natural Language Recognition Method Based on Cluster Analysis Using Neural Network
2021 Standout
Granular Computing Approach to Two-Way Learning Based on Formal Concept Analysis in Fuzzy Datasets
2014 Standout
Works of Patrick Cousot being referenced
Constructive versions of Tarski’s fixed point theorems
1979
Systematic design of program transformation frameworks by abstract interpretation
2002
Grammar semantics, analysis and parsing by abstract interpretation
2011
Abstract Interpretation Frameworks
1992
Abstract interpretation
1996