مرکز منطقه ای اطلاع رساني علوم و فناوري - Inferring specifications to detect errors in code

Title of article :

Inferring specifications to detect errors in code

Author/Authors :

Mana Taghdiri and Daniel Jackson ، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2007

Pages :

From page :

To page :

121

Keywords :

Specification inference . Modular abstraction . Counterexample-guidedabstraction refinement . Bounded program verification . Alloy . SAT

Journal title :

Automated Software Engineering

Serial Year :

2007

Journal title :

Automated Software Engineering

Record number :

307173

Link To Document :