A framework for compositional design and analysis of systems

@inproceedings{Chakrabarti2007AFF,
  title={A framework for compositional design and analysis of systems},
  author={Arindam Chakrabarti},
  year={2007}
}
A Framework for Compositional Design and Analysis of Systems 

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-10 of 126 references

Interface automata

ESEC / SIGSOFT FSE • 2001
View 10 Excerpts
Highly Influenced

DART: Directed Automated Random Testing

Haifa Verification Conference • 2009
View 4 Excerpts
Highly Influenced

An Application ofWeb-Service Interfaces

IEEE International Conference on Web Services (ICWS 2007) • 2007
View 5 Excerpts
Highly Influenced

Software Partitioning for Effective Compositional Testing and Dynamic Model Checking

Arindam Chakrabarti, Patrice Godefroid
Technical Report ITD- 06-46767J, • 2006
View 4 Excerpts
Highly Influenced

Web service interfaces

View 7 Excerpts
Highly Influenced