Program Understanding and Constraint Satisfaction

Constraint-Based Design Recovery for Software Reengineering ◽

10.1007/978-1-4615-5461-5_3 ◽

1998 ◽

pp. 43-65

Author(s):

Steven G. Woods ◽

Alexander E. Quilici ◽

Qiang Yang

Keyword(s):

Constraint Satisfaction ◽

Program Understanding

Download Full-text

Toward a constraint-satisfaction framework for evaluating program-understanding algorithms

WPC '96. 4th Workshop on Program Comprehension ◽

10.1109/wpc.1996.501121 ◽

2002 ◽

Author(s):

A. Quilici ◽

S. Woods

Keyword(s):

Constraint Satisfaction ◽

Program Understanding

Download Full-text

Program understanding as constraint satisfaction

Proceedings Seventh International Workshop on Computer-Aided Software Engineering ◽

10.1109/case.1995.465302 ◽

2002 ◽

Author(s):

S. Woods ◽

Qiang Yang

Keyword(s):

Constraint Satisfaction ◽

Program Understanding

Download Full-text

Program understanding as constraint satisfaction

Proceedings of 2nd Working Conference on Reverse Engineering ◽

10.1109/wcre.1995.514719 ◽

2002 ◽

Author(s):

S. Woods ◽

Qiang Yang

Keyword(s):

Constraint Satisfaction ◽

Program Understanding

Download Full-text

Size and Cost Optimization of AutoCAD Oil and Gas Control Flow Designs Using Constraint Satisfaction Problem and Machine Learning

International Journal of Computer Sciences and Engineering ◽

10.26438/ijcse/v6i5.550555 ◽

2018 ◽

Vol 6 (5) ◽

pp. 550-555

Author(s):

H.A. Kore ◽

◽

◽

◽

S.B. Mane ◽

...

Keyword(s):

Machine Learning ◽

Constraint Satisfaction ◽

Oil And Gas ◽

Constraint Satisfaction Problem ◽

Cost Optimization ◽

Control Flow ◽

Download Full-text

A program understanding approach for stripped binary code

Journal of Computer Applications ◽

10.3724/sp.j.1087.2008.02608 ◽

2009 ◽

Vol 28 (10) ◽

pp. 2608-2612

Author(s):

Juan-ru LI ◽

Da-wu GU ◽

Hai-ning LU

Keyword(s):

Binary Code ◽

Program Understanding

Download Full-text

Going Concern Judgments as a Multiple Constraint Satisfaction Process

SSRN Electronic Journal ◽

10.2139/ssrn.490742 ◽

2004 ◽

Author(s):

C. Gustav Lundberg ◽

Brian Nagle

Keyword(s):

Constraint Satisfaction ◽

Going Concern ◽

Multiple Constraint

Download Full-text

Conflict history based search for constraint satisfaction problem

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing - SAC '19 ◽

10.1145/3297280.3297389 ◽

2019 ◽

Author(s):

Djamal Habet ◽

Cyril Terrioux

Keyword(s):

Constraint Satisfaction ◽

Constraint Satisfaction Problem

Download Full-text

Using an artificial intelligence approach to build an automated program understanding/fault localization tool

Proceedings 11th International Conference on Tools with Artificial Intelligence ◽

10.1109/tai.1999.809768 ◽

2003 ◽

Author(s):

I. Burnstein ◽

R. Saner ◽

Y. Limpiyakorn

Keyword(s):

Artificial Intelligence ◽

Fault Localization ◽

Program Understanding ◽

Intelligence Approach ◽

Artificial Intelligence Approach

Download Full-text

Sandwiches for promise constraint satisfaction

Algebra Universalis ◽

10.1007/s00012-020-00702-5 ◽

2021 ◽

Vol 82 (1) ◽

Author(s):

Guofeng Deng ◽

Ezzeddine El Sai ◽

Trevor Manders ◽

Peter Mayr ◽

Poramate Nakkirt ◽

...

Keyword(s):

Constraint Satisfaction

Download Full-text

Temporal Constraint Satisfaction Problems

Complexity of Infinite-Domain Constraint Satisfaction ◽

10.1017/9781107337534.013 ◽

2021 ◽

pp. 413-472

Keyword(s):

Constraint Satisfaction ◽

Constraint Satisfaction Problems ◽

Temporal Constraint

Download Full-text