I am looking for technical advice reg. a project we offer to students within the Google Summer of Code 2010 program. Our plan is to use Java Pathfinder (JPF - http://babelfish.arc.nasa.gov/trac/jpf) to verify both Android applications and selected framework components. JPF is a VM for Java bytecode verification, with a broad range of applications from model checking for concurrency bugs, user input and client/server interaction to test case generation through symbolic execution. Not having worked with Android extensively, I have two questions
(1) what are the most typical defects you see in Android applications? (2) what Android framework components are the most relevant verification targets, esp. when looking for concurrency defects? Thanks for any insights, -- Peter -- You received this message because you are subscribed to the Google Groups "Android Developers" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/android-developers?hl=en To unsubscribe, reply using "remove me" as the subject.
