论文信息 - Computer-Aided Process and Tools for Mobile Software Acquisition - 字舞流文

Computer-Aided Process and Tools for Mobile Software Acquisition

Excerpt from the Proceedings of the Tenth Annual Acqusition Research Symposium System of Systems Management

Man-Tak Shing | Thomas W. Otani | Christopher Bonine

[1] Kent Beck,et al. Test-infected: programmers love writing tests , 2000 .

[2] Doron Drusinsky,et al. Creating and Validating Embedded Assertion Statecharts , 2007, IEEE Distributed Systems Online.

[3] Doron Drusinsky,et al. On the power of bounded concurrency I: finite automata , 1994, JACM.

[4] Man-Tak Shing,et al. The three dimensions of formal validation and verification of reactive system behaviors , 2007 .

[5] Henry Muccini,et al. Software testing of mobile applications: Challenges and future research directions , 2012, 2012 7th International Workshop on Automation of Software Test (AST).

[6] James Bret Michael,et al. Verification and Validation for Trustworthy Software Systems , 2011, IEEE Software.

[7] John Kelly,et al. Experiences Using Lightweight Formal Methods for Requirements Modeling , 1998, IEEE Trans. Software Eng..

[8] Jiang Bo,et al. MobileTest: A Tool Supporting Automatic Black Box Test for Software on Smart Mobile Devices , 2007, Second International Workshop on Automation of Software Test (AST '07).

[9] Auri Marcelo Rizzo Vincenzi,et al. A strategy to perform coverage testing of mobile applications , 2006, AST '06.

[10] James Bret Michael,et al. Formal validation and verification of space flight software using statechart-assertions and runtime execution monitoring , 2011, 2011 6th International Conference on System of Systems Engineering.