Login
中文
Verification And Validation
Related Fields
Anything in here will be replaced on browsers that support the canvas element
Application software
Algorithm
Programming
Verification
Verification and validation
Software verification
Software maintenance
Performance
Model checking
Computer hardware
Software design
Software performance testing
Formal specification
System testing
Computer simulation
Formal methods
Logic
Software system
Software quality
Information system
Software Engineering
Real-time computing
Software development
Software Testing
Theory of computation
Parent Topic:
Software construction
Top Authors:
Insup Lee
Tao Xie
Alessandro Orso
Matthew B Dwyer
L Du Bousquet
Nikolai Tillmann
Antonia Bertolino
Abhik Roychoudhury
C V Ramamoorthy
Oleg Sokolsky
Sebastian Fischmeister
Patrick W Serruys
Lionel C Briand
William E Howden
Sriram K Rajamani
Mary Lou Soffa
Jonathan De Halleux
Sasikumar Punnekkat
Marcelo F Frias
Hansmichael Hanisch
Mooly Sagiv
Thomas Thelin
Johan C H Schuurbiers
Jeanluc Richier
Sami Evangelista
Andreas Zeller
Manuvir Das
Eelco Visser
David Escotbocanegra
David Notkin
Raul Fernandezrecio
Gernot Heiser
G Le Gall
Farid Ouabdesselam
Chrysafios Girasis
Koushik Sen
W Eric Wong
Jane Huffman Hayes
Omer Tripp
David Poyatosmartinez
Serge Haddad
Claude Hennebert
T H Kerr
Kim Guldstrand Larsen
Chao Wang
Vittorio Cortellessa
Michael Ernst
Bernard Blackham
Dimitra Giannakopoulou
John Hughes
Paper Map
More
Author Map (v2)
More
Mentorship Map
More
Mentorship Hierachical Map
More
Paper Recommendation