I've recently became interested in DBC methodology. As Java is my "native" language I've looked at cofoja and more recently java-on-contracts. I mainly create Android software, so naturally I'd like to be able to use contracts on my phone.
Both projects require the usage of something similar to
java -javaagent:path/to/cofoja-<version>.jar <someclass>
as JVM parameter. Is it possible to use this JVM parameter to launch apk on phone? Does dalvik even support this kind of parameters?
How could I even pass this parameter to start an application? I don't have a clue on how to start. Maybe through an ant script?