Margaret A. Wojcicki

According to our database, Margaret A. Wojcicki authored at least 7 papers between 2006 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2008

Evaluating and combining verification and validation technologies

Margaret A. Wojcicki

PhD thesis, 2008

2007

Maximising the information gained from a study of static analysis technologies for concurrent software.

Margaret A. Wojcicki, Paul A. Strooper

Empir. Softw. Eng., 2007

An Iterative Empirical Strategy for the Systematic Selection of a Combination of Verification and Validation Technologies.

Margaret A. Wojcicki, Paul A. Strooper

Proceedings of the 5th International Workshop on Software Quality, 2007

Selecting V&V Technology Combinations: How to Pick a Winner?

Paul A. Strooper, Margaret A. Wojcicki

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks.

John Ngui, Paul A. Strooper, Luke Wildman, Margaret A. Wojcicki

Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007

2006

A state-of-practice questionnaire on verification and validation for concurrent programs.

Margaret A. Wojcicki, Paul A. Strooper

Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, 2006

Maximising the information gained from an experimental analysis of code inspection and static analysis for concurrent java components.

Margaret A. Wojcicki, Paul A. Strooper

Proceedings of the 2006 International Symposium on Empirical Software Engineering (ISESE 2006), 2006