Karl Meinke. Validation and Test Case Generations for MSCs Using A Propositional SAT Solver. In Edel Sherratt, editor, SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000. pages 203, VERIMAG, IRISA, SDL Forum, 2000.
@inproceedings{Meinke00, title = {Validation and Test Case Generations for MSCs Using A Propositional SAT Solver}, author = {Karl Meinke}, year = {2000}, tags = {testing}, researchr = {https://researchr.org/publication/Meinke00}, cites = {0}, citedby = {0}, pages = {203}, booktitle = {SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000}, editor = {Edel Sherratt}, publisher = {VERIMAG, IRISA, SDL Forum}, }