Relax-and-Recover Automated Testing
Formal Metadata
| Title |
| |
| Title of Series | ||
| Number of Parts | 95 | |
| Author | ||
| License | CC Attribution 4.0 International: You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal purpose as long as the work is attributed to the author in the manner specified by the author or licensor. | |
| Identifiers | 10.5446/32306 (DOI) | |
| Publisher | ||
| Release Date | ||
| Language |
Content Metadata
| Subject Area | ||
| Genre | ||
| Abstract |
|
00:00
Data recoveryStatistical hypothesis testingGoodness of fitLevel (video gaming)Covering spaceXMLComputer animationLecture/Conference
00:40
MultilaterationStatistical hypothesis testingWebsiteOpen sourceSlide ruleVideoconferencingExecution unitMultiplication signSoftware development kitComputer animation
01:27
ResultantState of matterData recoveryData centerDistanceComputer virusBasis <Mathematik>Speech synthesisTelecommunicationConnectivity (graph theory)Projective planeDatabasePresentation of a groupServer (computing)PlanningComputer hardwareWeb pageAnalytic continuationKey (cryptography)Category of beingNeuroinformatikMereologyEmailComputer animation
03:07
SoftwareDatabasePlanningSystem administratorWebsiteMereologyBackupCASE <Informatik>Sound effectBootingTime zoneCovering spaceNeuroinformatikDifferent (Kate Ryan album)Degree (graph theory)Point (geometry)Multiplication signData recoveryGoodness of fitData managementRight angleOperating systemDampingFile systemLine (geometry)Computer virusPhysical systemConfidence intervalFormal languageOpen sourcePoint cloud1 (number)Network topologySource codeReflection (mathematics)Software frameworkAreaINTEGRALFlow separationProjective planeExpert systemVideo gameFreewareBasis <Mathematik>Category of beingQuicksortCuboidStatistical hypothesis testingStatistical hypothesis testingConfiguration spaceSlide ruleAnalytic continuationHD DVDCentralizer and normalizerScripting languageComputer animation
09:25
Operator (mathematics)Kernel (computing)HD DVDPhysical systemDampingMedical imagingData storage deviceIntegrated development environmentPointer (computer programming)Computer fileBackupBootingConfiguration spaceData recoveryStatistical hypothesis testingDataflowOperating systemMereologyFile systemOpen sourceFunction (mathematics)Software developerConfiguration managementProduct (business)Uniform resource locatorDifferent (Kate Ryan album)Default (computer science)Point cloud1 (number)BuildingService (economics)Computer configurationComputer hardwareCrash (computing)Task (computing)Point (geometry)SoftwareSound effectData managementVideo gameWebsiteOpen setExecution unitBit rateCASE <Informatik>Process (computing)AuthorizationDirected graphSystems integratorEstimatorINTEGRALPredictabilityComputer animation
15:43
Service (economics)Basis <Mathematik>Revision controlRepository (publishing)Software bugServer (computing)Physical systemStatistical hypothesis testingStability theorySource codeComputer architectureDifferent (Kate Ryan album)Software developerReverse engineeringLine (geometry)Electronic mailing listSampling (statistics)NumberCASE <Informatik>Computer animation
17:44
Statistical hypothesis testingBackupINTEGRALSoftware developerCategory of beingComputer virusSound effectNeuroinformatikVirtual machineOpen sourceExecution unitIntegrated development environmentPhysical systemProper mapComputer hardwareBootingComputer animation
19:39
Extension (kinesiology)LaptopCuboidOpen sourceStatistical hypothesis testingPhysical systemCycle (graph theory)Virtual machineMultiplication signVirtualizationSound effectProjective planeSource codePresentation of a groupGoodness of fitIntegrated development environmentServer (computing)Vapor barrierBuildingCASE <Informatik>Service (economics)BootingFreewareCoprocessorChemical equationINTEGRALMereologyClient (computing)SoftwareDifferent (Kate Ryan album)Computing platformSoftware developerVideo gameLevel (video gaming)WhiteboardFlow separationMedical imagingFeedbackDampingNetwork topologyBackup1 (number)Set (mathematics)AutocovarianceDesign by contractPay televisionFocus (optics)Limit (category theory)Online helpError messageOperating systemSlide ruleFinite differenceData recoveryDemosceneForm (programming)Continuous integrationIndependence (probability theory)Computer animation
25:56
Server (computing)CuboidForcing (mathematics)Sound effectArmVirtual machineRight angleClient (computing)Block (periodic table)Computer configurationDefault (computer science)BackupScripting languageFormal languageComputer-assisted translationLipschitz-StetigkeitMultiplication signMereologyPhysical systemStability theoryBit rateVideo gameHD DVDDampingAngleBus (computing)Service (economics)Stress (mechanics)Revision controlSymbol tableGoodness of fitDigitizingSoftwareInternetworkingData recoveryStatistical hypothesis testingOpen sourceChannel capacityDifferent (Kate Ryan album)Descriptive statisticsOperating systemConfluence (abstract rewriting)FeedbackComputer fileProcess (computing)Mixed realityVoxelPoint (geometry)Integrated development environmentProjective planeSelf-organizationRootDirectory serviceType theoryAddress spacePlug-in (computing)VirtualizationLogicVideo game consoleCodeMultilaterationBuildingBootingOnline helpPasswordComputer animation
32:04
Stability theoryWorkstation <Musikinstrument>Computer configurationSound effectBitDefault (computer science)Type theoryScripting languageClient (computing)Template (C++)Order (biology)Multiplication signSlide ruleConfiguration spaceMathematical analysisComputer fileSoftwareDependent and independent variablesBackupCuboid2 (number)Real numberPhysicalismChainRevision controlAliasingForcing (mathematics)AreaImpulse responseKernel (computing)Keyboard shortcutSet (mathematics)Integrated development environmentCASE <Informatik>ResultantStatistical hypothesis testingFile systemOpen sourceInternet service providerForm (programming)QuicksortUniform resource locatorOperating systemSpeech synthesisDifferent (Kate Ryan album)Student's t-testDistribution (mathematics)State of matterOnline helpServer (computing)Figurate numberParameter (computer programming)BootingGame controllerMoment (mathematics)Structural loadInterface (computing)VirtualizationPixelWeightComputer hardwareData recoveryFront and back endsComputer animation
38:31
Client (computing)CuboidData recoveryVirtual machineAreaTheoryCheat <Computerspiel>Utility softwareSoftwareTerm (mathematics)Time zoneIntegrated development environmentPhysical systemBlock (periodic table)Sound effect2 (number)Scripting languageData storage deviceVapor barrierSlide ruleHD DVDBackupMoment (mathematics)Medical imagingKernel (computing)BuildingMereologyArmCASE <Informatik>Descriptive statisticsInheritance (object-oriented programming)Different (Kate Ryan album)Sparse matrixCloningGroup actionMultiplication signComplete metric spaceBootingRevision controlConfiguration spaceOperating systemComputer animationSource code
42:25
Regular graphMultiplication signDot productData recoveryKernel (computing)Sound effectMedical imagingPointer (computer programming)View (database)Order (biology)Lecture/Conference
43:14
Multiplication signMilitary basePhysical systemContent (media)FeedbackBasis <Mathematik>Arithmetic meanCASE <Informatik>Solar timeLine (geometry)Event horizonData recoveryStatistical hypothesis testingWage labourRevision controlComputing platformIntegrated development environmentPredicate (grammar)Design by contractBackupComputer animation
46:38
Multiplication signDifferent (Kate Ryan album)Goodness of fitComputer hardwareGrass (card game)Projective planeTrailWater vaporGradientIntegrated development environmentSoftwareSound effectNumberPhysical systemAreaWordBackupMedical imagingGroup actionWindowCloningBlock (periodic table)BootingLaptopScripting languageDifferential (mechanical device)Revision controlLecture/Conference
49:50
Computer animation
Transcript: English(auto-generated)