Search results for "Software verification and validation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Shimin Li, Ladan Tahvildari, Weining Liu, Mike Morrissey, Gary Cort	Coping with Requirements Changes in Software Verification and Validation.	CSMR	2008	DBLP DOI BibTeX RDF
2	Wen-Kui Chang, Chun-Yuan Chen	Integrity-Enhanced Verification Scheme for Software-Intensive Organizations.	ATVA	2004	DBLP DOI BibTeX RDF	Software Capability Level, Software Integrity Level, ISO 9001:2000, Software Process Improvement (SPI), CMMI, Software Verification and Validation
2	Christopher P. Fuhrman, Fatime Djlive, Edgardo Palza	Software Verification and Validation within the (Rational) Unified Process.	SEW	2003	DBLP DOI BibTeX RDF
2	Terry Shepard	On Teaching Software Verification and Validation.	CSEE	1995	DBLP DOI BibTeX RDF
2	James E. Cardow, David R. Luginbuhl	Teaching Software Verification and Validation to Software Practitioner.	CSEE	1992	DBLP DOI BibTeX RDF
2	Marilyn S. Fujii	Software verification and validation(Position Statement).	ACM Annual Conference	1978	DBLP DOI BibTeX RDF
1	Robert Feldt, Richard Torkar, Ehsan Ahmad, Bilal Raza	Challenges with Software Verification and Validation Activities in the Space Industry.	ICST	2010	DBLP DOI BibTeX RDF	European Cooperation for Space Standardization, case study, verification and validation
1	Dimitra Giannakopoulou, Corina S. Pasareanu	Learning Techniques for Software Verification and Validation - Special Track at ISoLA 2010.	ISoLA	2010	DBLP DOI BibTeX RDF
1	Andrés Iglesias	Software Verification and Validation of Graphical Web Services in Digital 3D Worlds.	FGIT-FGCN	2009	DBLP DOI BibTeX RDF
1	Patrick H. S. Brito, Rogério de Lemos, Cecília M. F. Rubira, Eliane Martins	Architecting Fault Tolerance with Exception Handling: Verification and Validation.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	fault-tolerant software architecture, model checking, exception handling, model-based test, software verification and validation
1	Rozita Dara, Shimin Li, Weining Liu, Angi Smith-Ghorbani, Ladan Tahvildari	Using dynamic execution data to generate test cases.	ICSM	2009	DBLP DOI BibTeX RDF
1	David Chenho Kung, Hong Zhu	Software Verification and Validation.	Wiley Encyclopedia of Computer Science and Engineering	2008	DBLP DOI BibTeX RDF
1	Marcus S. Fisher	Software verification and validation - an engineering and scientific approach.		2007	RDF
1	Sebastian Fischmeister, Oleg Sokolsky, Insup Lee	A Verifiable Language for Programming Real-Time Communication Schedules.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Time division multiaccess, Scheduling, Real time systems, Networks, Software verification and validation
1	Paul A. Strooper, Margaret A. Wojcicki	Selecting V&V Technology Combinations: How to Pick a Winner?	ICECCS	2007	DBLP DOI BibTeX RDF
1	Saeed Jalili, Mehdi MirzaAghaei	RVERL: Run-time Verification of Real-time and Reactive Programs using Event-based Real-Time Logic Approach.	SERA	2007	DBLP DOI BibTeX RDF	Runtime Verification (RV), Real-time and Reactive Program, Event-based Real-Time Logic (ERL), Aspect- Oriented Approach
1	Tamarah Arons, Elad Elster, Terry Murphy, Eli Singerman	Embedded Software Validation: Applying Formal Techniques for Coverage and Test Generation.	MTV	2006	DBLP DOI BibTeX RDF	Formal methods, Test generation, Software verification and validation
1	Lionel C. Briand, Yvan Labiche, Marwa Shousha	Using genetic algorithms for early schedulability analysis and stress testing in real-time systems.	Genetic Programming and Evolvable Machines	2006	DBLP DOI BibTeX RDF	Genetic algorithms, Schedulability theory, Software verification and validation
1	Thi Viet Nga Nguyen, François Irigoin	Efficient and effective array bound checking.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	interprocedural analysis, Array bound checking
1	Sampath Yerramalla, Bojan Cukic, Martin Mladenovski, Edgar Fuller	Stability Monitoring and Analysis of Learning in an Adaptive System.	DSN	2005	DBLP DOI BibTeX RDF
1	Roger Duke, Tim Miller, Paul A. Strooper	Integrating Formal Specification and Software Verification and Validation.	TFM	2004	DBLP DOI BibTeX RDF
1	Anca I. Vermesan, Frode Høgberg	Applicability of Conventional Software Verification and Validation to Knowledge-based Components: A Qualitative Assessment.	EUROVAV	1999	DBLP BibTeX RDF
1	Robert Lockhart	Software Verification and Validation: A Practitioner's Guide, by Steven R. Rakitin, Artech House, 1997 (Book Review).	Softw. Test., Verif. Reliab.	1998	DBLP DOI BibTeX RDF
1	Matthew B. Dwyer, Corina S. Pasareanu	Filter-Based Model Checking of Partial Systems.	SIGSOFT FSE	1998	DBLP DOI BibTeX RDF	filter-based analysis, model checking, assume-guarantee reasoning, software verification and validation
1	Steven R. Rakitin	Software verification and validation - a practitioner's guide.		1997	RDF
1	András L. Oláh, Sonia M. Heemstra de Groot	Alternative specification and verification of a periodic state exchange protocol.	IEEE/ACM Trans. Netw.	1997	DBLP DOI BibTeX RDF	computer networks, transport protocols, software verification and validation, communication system performance
1	Mark K. Smith, Leonard L. Tripp, Leon J. Osterweil, Richard N. Taylor, William E. Howden	An approach to transfer verification and validation technology.	AFIPS National Computer Conference	1981	DBLP DOI BibTeX RDF
1	Sabina H. Saib	Software verification and validation in practice and theory (Position Statement).	ACM Annual Conference	1978	DBLP DOI BibTeX RDF