%0 Journal Article %1 Hierons2000 %A Hierons, Robert M. %A Derrick, John %D 2000 %J Software Testing, Verification and Reliability %K automated black-box constraint-solving execution flowgraph generation logic propositional specification-based statecharts symbolic testing %N 4 %P 201-202 %T Editorial: special issue on specification-based testing %U http://www3.interscience.wiley.com/journal/76507167/issue %V 10

@article{Hierons2000, added-at = {2008-05-29T16:24:38.000+0200}, author = {Hierons, Robert M. and Derrick, John}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/20d50e32df95e6751c846ea71dd555e81/ist_spl}, interhash = {9a5b8adc627b8ff8a40b96458f9114f5}, intrahash = {0d50e32df95e6751c846ea71dd555e81}, journal = {Software Testing, Verification and Reliability}, keywords = {automated black-box constraint-solving execution flowgraph generation logic propositional specification-based statecharts symbolic testing}, note = {MR: Gewissermaßen state-of-the-art (für Jahr 2000) von spezifikationsbasierten Testmethoden. Überblick über drei Methoden wird gegeben: statechart + symbolic execution, state-based specification + propositional logic + constraint solver, components specification + flowgraph + mutation analysis}, number = 4, pages = {201-202}, timestamp = {2008-05-29T16:24:39.000+0200}, title = {Editorial: special issue on specification-based testing}, url = {http://www3.interscience.wiley.com/journal/76507167/issue}, volume = 10, year = 2000 }