Conference
View in EDS

Quick Bug Detection through Black-Box Checking : A Systematic Evaluation

Bibliographic Details
Title: Quick Bug Detection through Black-Box Checking : A Systematic Evaluation
Authors: Pellen, Bram, Rodríguez, María Belén, Vaandrager, Frits, van den Bos, Petra
Source: Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering. :209-221
Availability: http://dl.acm.org/doi/10.1145/3832783.3834347
Database: ACM Full-Text Collection
FullText Text:
  Availability: 0
CustomLinks:
  – Url: http://dx.doi.org/10.1145/3832783.3834347?
    Name: EDS - ACM Full-Text Collection (ns324271)
    Category: fullText
    Text: View record at ACM Digital Library
Header DbId: edscma
DbLabel: ACM Full-Text Collection
An: edscma.3834347
RelevancyScore: 1173
AccessLevel: 2
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 1173.00024414063
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Quick Bug Detection through Black-Box Checking : A Systematic Evaluation
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Pellen%2C+Bram%22">Pellen, Bram</searchLink><br /><searchLink fieldCode="AR" term="%22Rodríguez%2C+María+Belén%22">Rodríguez, María Belén</searchLink><br /><searchLink fieldCode="AR" term="%22Vaandrager%2C+Frits%22">Vaandrager, Frits</searchLink><br /><searchLink fieldCode="AR" term="%22van+den+Bos%2C+Petra%22">van den Bos, Petra</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <i>Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering</i>. :209-221
– Name: URL
  Label: Availability
  Group: URL
  Data: http://dl.acm.org/doi/10.1145/3832783.3834347
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edscma&AN=edscma.3834347
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1145/3832783.3834347
    Languages:
      – Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 13
        StartPage: 209
    Titles:
      – TitleFull: Quick Bug Detection through Black-Box Checking : A Systematic Evaluation
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Pellen, Bram
      – PersonEntity:
          Name:
            NameFull: Rodríguez, María Belén
      – PersonEntity:
          Name:
            NameFull: Vaandrager, Frits
      – PersonEntity:
          Name:
            NameFull: van den Bos, Petra
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 07
              M: 10
              Type: published
              Y: 2026
          Identifiers:
            – Type: issn-locals
              Value: edscma.conferences
          Titles:
            – TitleFull: Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering
              Type: main
ResultId 1