A sequencing constraint language for automatic static analysis generation (1990)

by K Olender, L Osterweil, Cecil
Venue:IEEE Transactions on Software Engineering