Sound and Complete Concolic Testing for Higher-Order Functions
Formale Metadaten
| Titel |
| |
| Serientitel | ||
| Anzahl der Teile | 16 | |
| Autor | ||
| Lizenz | CC-Namensnennung 3.0 Deutschland: Sie dürfen das Werk bzw. den Inhalt zu jedem legalen Zweck nutzen, verändern und in unveränderter oder veränderter Form vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen. | |
| Identifikatoren | 10.5446/55063 (DOI) | |
| Herausgeber | ||
| Erscheinungsjahr | ||
| Sprache |
Inhaltliche Metadaten
| Fachgebiet | |
| Genre |
00:00
SoftwaretestEin-AusgabeTermFehlermeldungKategorie <Mathematik>VollständigkeitLeistungsbewertungDatenmodellSystemzusammenbruchZeitabhängigkeitMinkowski-MetrikKontrollstrukturWeb logAnwendungsprogrammGleichheitszeichenVariableRegulärer Ausdruck <Textverarbeitung>Funktion <Mathematik>KonditionszahlDatenstrukturDiagrammKontextfreie GrammatikMathematische LogikOrdnung <Mathematik>Deskriptive StatistikProgrammierungGenerator <Informatik>VariableKategorie <Mathematik>Funktionale ProgrammierspracheAusdruck <Logik>SoftwaretestGanze ZahlAggregatzustandBoolesche AlgebraFormale GrammatikFunktionalInverser LimesLambda-KalkülLeistung <Physik>MereologiePhysikalische TheorieResultanteSpeicherabzugTabelleTermZahlenbereichSystemaufrufGegenbeispielVerzweigendes ProgrammNichtlinearer OperatorParametersystemCASE <Informatik>Prozess <Informatik>FehlermeldungVollständigkeitResamplingAdditionKontrollstrukturSchnittmengeEin-AusgabeJordan-NormalformHilfesystemShape <Informatik>RichtungSystemzusammenbruchArithmetischer AusdruckNichtunterscheidbarkeitEndliche ModelltheorieGibbs-VerteilungLaufzeitfehlerInterrupt <Informatik>DifferenteKonstruktor <Informatik>LoginSymboltabelleKontextbezogenes SystemMultiplikationsoperatorMinkowski-MetrikPrädikatenlogik erster StufeComputeranimation
Transkript: Englisch(automatisch erzeugt)