SPECIAL SESSIONS
Special Session on Software Validation & Verification (V&V)
Today's software systems are becoming more and more complex and their lines of codes will reach to billions from millions of lines of code in near future. Therefore, innovative Validation & Verification (V&V) techniques are needed more than ever to manage the complexity of current and future systems. Software Engineering Institute (SEI) published a report in 2006 and proposed a research agenda for U.S. Department of Defense about ultra-large-scale systems which will likely to have billions of lines of code. These kind of systems and large scale systems pose extraordinary challenges in Validation and Verification and this special session seeks for contributions in this area.
This special session in the areas of Software Validation and Verification will focus on practical methods, theoretical techniques and case studies. Extended version of the best papers of this special session will be considered for publication in special issue of reputed indexed journals (SCI/SCI-E/INSPEC//DBLP etc.).
The list of topics includes, but is not restricted to:
- Software testing
- V&V activities and process based on CMMI Model
- Model checking and deductive techniques
- Validation of UML diagrams
- Static and dynamic verification
- Formal specification languages
- Test automation frameworks
- Software metrics
- Software defect management
- Software reliability and software maintainability
- Software requirements
- Test cases and automatic test case generation
- Independent V&V
- Static analysis / program transformation / abstract interpretation
- Tools and case studies for software verification
- Test case prioritization techniques
- V&V for mission critical, simulation and enterprise information systems
- V&V techniques needed to ensure the quality of Software-Defined Radios (SDR)
- SDR Testing
- Organizational issues related to the V&V
- Cognitive issues related to the V & V
| Chairs: | ||
| Cagatay Catal | TUBITAK-Marmara Research Center | Turkey |
| Alok Mishra | Atilim University | Turkey |
Program Committee Members: | ||
| A. Gokhan Akturk | MilSoft | Turkey |
| Allen E. Milewski | Monmouth University | USA |
| Anil Kumar Tripathi | Institute of Technology, BHU | India |
| B.K. Sarker | Primal Fusion Inc., | Canada |
| Banu Diri | Yildiz Technical University | Turkey |
| Bernard Wong | University of Technology | Australia |
| Bogdan Bereza-Jarocinski | ETC bettersoftware.eu | Poland |
| Charles Wallace | Michigan Technological University | USA |
| Cigdem Gencel | Blekinge Institute of Technology | Sweden |
| David Davenport | Bilkent University | Turkey |
| Deepti Mishra | Atilim University | Turkey |
| Deo Prakash Vidyarthi | Jawaharlal Nehru University | India |
| Eyas El-Qawasmeh | University of Science & Technology | Jordan |
| Ita Richardson | Lero | Ireland |
| M. Prakash | Infosys Technologies | India |
| Mahmood Niazi | Keele University | UK |
| Mehmet Aktas | TUBITAK-Marmara Research Center | Turkey |
| Mitko Mitev | Quality House | Bulgaria |
| Nils. B. Moe | SINTEF | Norway |
| Orit Hazzan | Technion | Israel |
| Oya Kalıpsız | Yildiz Technical University | Turkey |
| Prabhat Kumar Mahanti | University of New Brunswick | Canada |
| Rajnath Singh | Lucent Lab | USA |
| Silvia Abrahao | Universidad Politecnica de Valencia | Spain |
| Tom Gilb | GILB Company | Norway |
| Vinod Kumar Pandey | IBM Global Software Services | USA |