29 January 2013

Call for papers: "Software Life Cycle Management Focusing on Validation in Software Applications"

For a special issue of the International Journal of Computer Aided Engineering and Technology.

Software applications are day by day becoming very complex. These applications include desktop applications, web applications or mobile-compatible applications. These days, normal applications are desired to be mobile-compatible and thus provide benefits to billions of mobile users. Testing software applications is quite challenging. Effort is required to create good quality test cases, minimal effort debugging, effortless regression test case selection or prioritisation, etc. The testing of mobile applications would add to the complexities of the testing process.
 
The aim of this special issue is to provide a research platform for researchers and practitioners to discuss various ideas, challenges and solutions related to improving the testing of software applications, which includes analysis, design and structure of empirical studies, and their results, varying from controlled experiments to field studies for developing, validating and maintaining software systems. Papers based on the mathematical work highlighting or validating solution strategies using mathematical tools are also invited.
 
Suitable topics include but are not limited to:
  • Model-driven development and testing
  • Regression testing of software applications
  • Automatisation and parallelisation of testing techniques
  • Validation and verification
  • Agile/iterative/incremental software testing
  • Software testing with open source tools and third party software
  • Software mutation testing
  • Automatic test case generation
  • Software testing case studies and surveys
  • Testing concurrent software
  • Domain-specific testing (security testing/web-service testing/database testing/embedded software testing)
  • Testing in globally-distributed organisations
  • Requirement engineering aspects related to testing
  • Automated learning of test models
  • Testing of timed and randomised models
  • Formal methods for testing
Important Dates
Submission of manuscripts: 19 June, 2013
Notification to authors:19 August, 2013
Final versions due: 19 September, 2013

No comments: