Managing space for finite-state verification

By Jianbin Tan, G. Avrunin, L. Clarke. International Conference on Software Engineering, 2006

295 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Research Directions in Requirements Engineering (2007, background): “For example, just as patterns [54] help to ease the creation of logic expressions, research into idioms and patterns for other modeling problems and notations [98, 99, 171] would improve the productivity of modelers.”
Dynamic QoS Management and Optimization in Service-Based Systems (2011, unknown): “Furthermore, for logic-based specification-formalism, the correct definition of QoS properties is supported with specification patterns [39], [49], [48], [68] and structured English grammars [49], [68], [99].”
On the naturalness of software (2012, background): “NLP and Requirements Researchers have studied the use of natural language in requirements engineering: can we utilize natural language specifications to automatically generate more formal specifications, or even code? [21–23] Some of these approaches make use of NLP tools like parsers and part-ofspe”
On the localness of software (2014, methodology): “on GitHub and BitBucket), software engineering researchers have turned to empirical methods to study the process of developing and maintaining software [11, 27, 38, 40, 42–45, 47, 49].”