Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

scientific article; zbMATH DE number 5734815

From MaRDI portal
Publication:3574356
Jump to:navigation, search

zbMATH Open1344.68054MaRDI QIDQ3574356FDOQ3574356


Authors: Hanna Makaruk, Robert Owczarek, Nikita A. Sakhanenko Edit this on Wikidata


Publication date: 9 July 2010



Title of this publication is not available (Why is that?)



Recommendations

  • White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing
  • Symbolic observation graph-based generation of test paths
  • On the complexity of diagram testing
  • White-box path generation in recursive programs
  • Efficient testing of large graphs


zbMATH Keywords

white-box testing


Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)



Cited In (4)

  • Structural Statistical Software Testing with Active Learning in a Graph
  • Title not available (Why is that?)
  • White-box path generation in recursive programs
  • Automated generation of test paths for Fortran programs





This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3574356)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3574356&oldid=16974599"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 5 February 2024, at 02:27. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki