Formal Methods and Testing Network (FORTEST) - Links
Conferences:International Symposium on Software Testing and Analysis (ISSTA)Formal Approaches to Testing (FATES)Computer Software and Applications Conference (COMPSAC)Testing Communicating Systems (TestCom)Journals:The Journal of Software Testing Verification and Reliability (STVR)
Conferences:
International Symposium on Software Testing and Analysis (ISSTA)
Formal Approaches to Testing (FATES)Computer Software and Applications Conference (COMPSAC)Testing Communicating Systems (TestCom)Journals:The Journal of Software Testing Verification and Reliability (STVR)
Computer Software and Applications Conference (COMPSAC)Testing Communicating Systems (TestCom)Journals:The Journal of Software Testing Verification and Reliability (STVR)
Testing Communicating Systems (TestCom)Journals:The Journal of Software Testing Verification and Reliability (STVR)
Journals:The Journal of Software Testing Verification and Reliability (STVR)
Journals:
The Journal of Software Testing Verification and Reliability (STVR)
Research Groups:
Brunel University VASTT group
London South Bank FORTEST groupSheffield Verification and Testing Research GroupUseful Websites:The WWW Virtual Library in Formal MethodsEPSRCSoftware Testing Online Resources (STORM)Draft Unit Test Standard
Sheffield Verification and Testing Research GroupUseful Websites:The WWW Virtual Library in Formal MethodsEPSRCSoftware Testing Online Resources (STORM)Draft Unit Test Standard
Useful Websites:The WWW Virtual Library in Formal MethodsEPSRCSoftware Testing Online Resources (STORM)Draft Unit Test Standard
Useful Websites:
The WWW Virtual Library in Formal Methods
EPSRCSoftware Testing Online Resources (STORM)Draft Unit Test Standard
Software Testing Online Resources (STORM)Draft Unit Test Standard
Draft Unit Test Standard
