@inproceedings{Ahrendt:2012:RJA:2388936.2388960,
 author = {Ahrendt, Wolfgang and Mostowski, Wojciech and Paganelli, Gabriele},
 title = {Real-time Java API specifications for high coverage test generation},
 booktitle = {Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems},
 series = {JTRES '12},
 year = {2012},
 isbn = {978-1-4503-1688-0},
 location = {Copenhagen, Denmark},
 pages = {145--154},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/2388936.2388960},
 doi = {10.1145/2388936.2388960},
 acmid = {2388960},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {coverage, real-time Java, test generation},
}