Title: Testing Software And Systems 23rd Ifip Wg 61 International Conference Ictss 2011 Paris France November 710 2011 Proceedings
Subjects: Testmustergenerierung, Software engineering, Testing, Computer software, Programmtest, Model Checking, Congresses, Kommunikationssystem, Testen, Software, Computer software, validation, Models and Principles, Programming Techniques, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Computer science, Logic design