::   Home
::   Call for Papers
::   Paper Submission
::   Camera Ready
::   Organizaton
::   Tracks
::   Special Sessions
::   Venue
::   Accommodation
::   Registration
::   Invited Talks
::   Technical Program
::   Photo Album
::   Contact Us

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 CatalTUBITAK-Marmara Research CenterTurkey
Alok MishraAtilim UniversityTurkey

Program Committee Members:
A. Gokhan AkturkMilSoftTurkey
Allen E. MilewskiMonmouth UniversityUSA
Anil Kumar TripathiInstitute of Technology, BHUIndia
B.K. SarkerPrimal Fusion Inc.,Canada
Banu DiriYildiz Technical UniversityTurkey
Bernard WongUniversity of TechnologyAustralia
Bogdan Bereza-JarocinskiETC bettersoftware.euPoland
Charles WallaceMichigan Technological UniversityUSA
Cigdem GencelBlekinge Institute of TechnologySweden
David DavenportBilkent UniversityTurkey
Deepti MishraAtilim UniversityTurkey
Deo Prakash VidyarthiJawaharlal Nehru UniversityIndia
Eyas El-QawasmehUniversity of Science & TechnologyJordan
Ita RichardsonLeroIreland
M. PrakashInfosys TechnologiesIndia
Mahmood NiaziKeele UniversityUK
Mehmet AktasTUBITAK-Marmara Research CenterTurkey
Mitko MitevQuality HouseBulgaria
Nils. B. MoeSINTEFNorway
Orit HazzanTechnionIsrael
Oya KalıpsızYildiz Technical UniversityTurkey
Prabhat Kumar MahantiUniversity of New BrunswickCanada
Rajnath SinghLucent LabUSA
Silvia AbrahaoUniversidad Politecnica de ValenciaSpain
Tom GilbGILB CompanyNorway
Vinod Kumar PandeyIBM Global Software ServicesUSA