Search results

Page title matches

• Software Testing, Verification & Reliability
  | Field = Software engineering
  183 bytes (19 words) - 11:58, 17 February 2021

Page text matches

• CAV
  |Title=Computer Aided Verification |Field=Software engineering
  93 bytes (11 words) - 11:14, 17 February 2021
• ICST
  |Title=International Conference on Software Testing, Verification and Validation
  133 bytes (17 words) - 11:17, 17 February 2021
• CAV 2020
  |Title=International Conference on Computer Aided Verification * Algorithms and tools that combine verification and learning
  2 KB (291 words) - 14:12, 17 February 2021
• FSEN 2017
  |Title=FSEN 2017 : Fundamentals of Software Engineering |Field=system verification, software engineering, formal methods, software testing
  418 bytes (51 words) - 13:21, 17 February 2021
• ITEQS 2017
  ...shop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems ...oftware testing, verification and validation, extra-functional properties, software quality
  509 bytes (61 words) - 13:28, 17 February 2021
• ICST 2020
  |Title=International Conference on Software Testing, Verification and Validation
  228 bytes (26 words) - 13:54, 17 February 2021
• TAIC PART 2017
  |Field=software testing, industry collaboration, verification and validation, software quality
  484 bytes (58 words) - 13:24, 17 February 2021
• SSV 2009
  | Title = 4th International Workshop on Systems Software Verification Industrial-strength software analysis and verification has advanced in
  2 KB (255 words) - 12:58, 17 February 2021
• 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) - 13:18, 17 February 2021
• 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 (456 words) - 12:23, 17 February 2021
• TTSDP 2009
  | Title = International Workshop on “Tools and Techniques in Software Development Processes for High Performance computing | Field = Software engineering
  1 KB (190 words) - 13:05, 17 February 2021
• APW 2016
  |Field=software verification, eiffel, autoproof, boogie
  387 bytes (46 words) - 13:25, 17 February 2021
• TACAS 2021
  |Field=Software engineering * specification and verification techniques;
  2 KB (293 words) - 14:08, 17 February 2021
• SEA 2011
  |Title=Annual International Conference on Software Engineering & Applications Annual International Conference on Software Engineering & Applications (SEA 2011)
  2 KB (293 words) - 13:12, 17 February 2021
• SEPA 2009
  | Title = International Workshop on Software Engineering Processes and Applications | Field = Software engineering
  2 KB (284 words) - 13:04, 17 February 2021
• TACAS 2019
  |Field=Software engineering .... Held as part of the European Joint Conferences on Theory and Practice of Software, [[ETAPS 2019]]
  3 KB (369 words) - 14:08, 17 February 2021
• TACAS 2020
  |Field=Software engineering on Theory and Practice of Software, ETAPS 2020
  2 KB (279 words) - 14:09, 17 February 2021
• ISSTA 2020
  |Title=29th ACM SIGSOFT International Symposium on Software Testing and Analysis |Field=Software engineering
  2 KB (216 words) - 14:07, 17 February 2021
• VSTTE 2008
  |Title=Verified Software: Theories, Tools, and Experiments 2008 |Field=Software Verification
  5 KB (686 words) - 12:07, 17 February 2021
• Coordination 2018
  ...ification, refinement, and analysis of architectures: patterns and styles, verification of functional and non-functional properties, including performance aspects; *Dynamic software architectures: distributed mobile code, configuration, reconfiguration, net
  2 KB (275 words) - 14:00, 17 February 2021

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