Search results

Page title matches

• Software Testing, Verification & Reliability
  | Field = Software engineering
  183 bytes (19 words) - 21:55, 15 August 2008

Page text matches

• CAV 2021
  |Title=International Conference on Computer-Aided Verification * Algorithms and tools that combine verification and learning
  2 KB (188 words) - 20:16, 1 April 2022
• CAV
  |Title=Computer Aided Verification |Field=Software engineering
  148 bytes (16 words) - 21:09, 1 April 2022
• ICST
  |Title =International Conference on Software Testing, Verification and Validation
  204 bytes (22 words) - 21:16, 1 April 2022
• CAV 2020
  |Title=International Conference on Computer Aided Verification * Algorithms and tools that combine verification and learning
  3 KB (356 words) - 20:16, 1 April 2022
• FSEN 2017
  |Title=FSEN 2017 : Fundamentals of Software Engineering |Field=system verification, software engineering, formal methods, software testing
  473 bytes (56 words) - 19:10, 1 April 2022
• ITEQS 2017
  ...shop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems ...oftware testing, verification and validation, extra-functional properties, software quality
  564 bytes (66 words) - 19:21, 1 April 2022
• ICST 2020
  |Title=International Conference on Software Testing, Verification and Validation
  287 bytes (31 words) - 19:44, 1 April 2022
• SimpleScalar
  ...ormance visualization tools, statistical analysis resources, and debug and verification infrastructure. ...tware under an open source model, trusting that our users will license the software that they use. The tool set is distributed with all source code, making it
  2 KB (210 words) - 12:17, 7 April 2016
• EURASIP Journal on Embedded Systems 2009
  ...ifferent applications of formal or semiformal techniques in specification, verification, and synthesis of * Verification of system-level languages
  4 KB (459 words) - 20:40, 1 April 2022
• TAIC PART 2017
  |Field=software testing, industry collaboration, verification and validation, software quality
  539 bytes (63 words) - 19:14, 1 April 2022
• SSV 2009
  | Title = 4th International Workshop on Systems Software Verification Industrial-strength software analysis and verification has advanced in
  2 KB (258 words) - 21:02, 1 April 2022
• TTSDP 2009
  | Title = International Workshop on “Tools and Techniques in Software Development Processes for High Performance computing | Field = Software engineering
  2 KB (194 words) - 19:02, 1 April 2022
• APW 2016
  |Field=software verification, eiffel, autoproof, boogie
  442 bytes (51 words) - 19:15, 1 April 2022
• AWSE 2021
  |Title=2021 Asia Workshop on Software Engineering ...sed Software Engineering; Testing, Verification, and Validation; Web-based Software Engineering etc.
  1 KB (166 words) - 11:52, 6 April 2022
• TACAS 2008
  *Specification and verification techniques for finite and infinite-state systems *Software and hardware verification
  2 KB (204 words) - 20:25, 1 April 2022
• SEA 2011
  |Title=Annual International Conference on Software Engineering & Applications Annual International Conference on Software Engineering & Applications (SEA 2011)
  2 KB (295 words) - 19:05, 1 April 2022
• TACAS 2011
  *Specification and verification techniques for finite and infinite-state systems *Software and hardware verification
  2 KB (210 words) - 20:25, 1 April 2022
• SEPA 2009
  | Title = International Workshop on Software Engineering Processes and Applications | Field = Software engineering
  2 KB (288 words) - 19:02, 1 April 2022
• Francesco Flammini
  ...urity management systems. In 2006/2007 he has been an Adjunct Professor of Software Engineering at the Second University of Naples. He currently teaches Comput
  1 KB (186 words) - 17:22, 5 February 2009
• FASE 2013
  |Title=International Conference on Fundamental Approaches to Software Engineering The 16. International Conference on Fundamental Approaches to Software Engineering (FASE) 2013
  2 KB (251 words) - 20:24, 1 April 2022

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)