%0 Conference Paper %1 conf/issta/KorogluS16 %A Köroglu, Yavuz %A Sen, Alper %B CSTVA@ISSTA %D 2016 %E Tripp, Omer %E Wintersteiger, Christoph M. %I CEUR-WS.org %K dblp %P 3-14 %T Design of a Modified Concolic Testing Algorithm with Smaller Constraints. %U http://dblp.uni-trier.de/db/conf/issta/cstva2016.html#KorogluS16 %V 1639

@inproceedings{conf/issta/KorogluS16, added-at = {2023-03-10T00:00:00.000+0100}, author = {Köroglu, Yavuz and Sen, Alper}, biburl = {https://www.bibsonomy.org/bibtex/21b21312e67b9b2c001b71928a1744d2d/dblp}, booktitle = {CSTVA@ISSTA}, crossref = {conf/issta/2016cstva}, editor = {Tripp, Omer and Wintersteiger, Christoph M.}, ee = {https://ceur-ws.org/Vol-1639/paper-03.pdf}, interhash = {b3c989d432451ee9f3390f3c0609e34d}, intrahash = {1b21312e67b9b2c001b71928a1744d2d}, keywords = {dblp}, pages = {3-14}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T20:41:32.000+0200}, title = {Design of a Modified Concolic Testing Algorithm with Smaller Constraints.}, url = {http://dblp.uni-trier.de/db/conf/issta/cstva2016.html#KorogluS16}, volume = 1639, year = 2016 }