%0 Journal Article %1 journals/corr/AlpuenteBFS16 %A Alpuente, María %A Ballis, Demis %A Frechina, Francisco %A Sapiña, Julia %D 2016 %J CoRR %K dblp %T Assertion-based Analysis via Slicing with ABETS (System Description). %U http://dblp.uni-trier.de/db/journals/corr/corr1608.html#AlpuenteBFS16 %V abs/1608.01433

@article{journals/corr/AlpuenteBFS16, added-at = {2018-08-13T00:00:00.000+0200}, author = {Alpuente, María and Ballis, Demis and Frechina, Francisco and Sapiña, Julia}, biburl = {https://www.bibsonomy.org/bibtex/27ff02702545cf8fa229e6f04a22f62f8/dblp}, ee = {http://arxiv.org/abs/1608.01433}, interhash = {40362501e091971dc440ba082700f6bb}, intrahash = {7ff02702545cf8fa229e6f04a22f62f8}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T12:35:50.000+0200}, title = {Assertion-based Analysis via Slicing with ABETS (System Description).}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1608.html#AlpuenteBFS16}, volume = {abs/1608.01433}, year = 2016 }