Avoiding combinatorial explosion in automatic test generation: Reasoning about measurements is the key

Link:
Autor/in:
Erscheinungsjahr:
1996
Medientyp:
Text
Schlagworte:
  • "Decision Diagrams; Artificial Intelligence; Compilation"
  • "Artificial Intelligence; Algorithms; Semantics"
  • "Decision Diagrams; Artificial Intelligence; Compilation"
  • "Artificial Intelligence; Algorithms; Semantics"
Lizenz:
  • info:eu-repo/semantics/closedAccess
Quellsystem:
Forschungsinformationssystem der UHH
Interne Metadaten
Quelldatensatz
oai:www.edit.fis.uni-hamburg.de:publications/b955fd2a-db92-4c52-986f-0e1e627535ca