@inproceedings{75a1d174abfc41f59c60460fe569794c,
title = "A collaborative framework for generating probabilistic contracts",
keywords = "groupware, invasive software, mobile computing, operating systems (computers), smart phones, statistical testing, Android smartphone, Pearson chi squared test, application server, application usage profile, clustered probabilistic automata, collaborative framework, malware, probabilistic contract generation, Androids, Automata, Collaboration, Contracts, Humanoid robots, Probabilistic logic, Probability distribution, Android, Collaborative Framework, Malware, Probabilistic Contract, Repackaging",
author = "F. Martinelli and A. Saracino and D. Sgandurra and A. Aldini",
year = "2013",
month = may,
day = "1",
doi = "10.1109/CTS.2013.6567219",
language = "Undefined/Unknown",
pages = "139--142",
booktitle = "2013 International Conference on Collaboration Technologies and Systems (CTS)",
}