Minimizing Characterizing Sets

Türker, Uraz Cengiz; Hierons, Robert M.; Jourdan, Guy-Vincent

doi:10.1007/978-3-030-40914-2_4

Cited by 3 publications

(3 citation statements)

References 40 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…We found 95 that the heuristic can reduce the number of test sequences (for the W-method) by 37.3% and can decrease the total length of the test suite by 36.4% on average. This paper extends a previous conference paper [40] in the following ways.…”

Section: Resultssupporting

confidence: 67%

Minimizing Characterizing sets

Türker

Hierons

Jourdan

2021

Science of Computer Programming

View full text Add to dashboard Cite

Section: Resultssupporting

confidence: 67%

Minimizing Characterizing sets

Türker

Hierons

Jourdan

2021

Science of Computer Programming

View full text Add to dashboard Cite

“…This process has generated extensive literature that can be traced back to the 1950s [16,17], which is surveyed by Lee and Yannakakis [2] and Broy et al [18] in the context of reactive systems. Test inputs for the implemented system are generated from the FSM model by using techniques based on the construction of distinguishing sequences [19][20][21][22][23], unique I/O sequences [19,[24][25][26] and characterization sets [27][28][29][30][31]. These techniques have high computational complexity and can lead to exponentially long testing sequences, incurring high execution costs.…”

Section: Testing Based On Fsm Modelsmentioning

confidence: 99%

GPU acceleration of finite state machine input execution: Improving scale and performance

Yaneva

Rajan

Dubach

2021

Software Testing Verif & Rel

View full text Add to dashboard Cite

Model-based development is a popular development approach in which software is implemented and verified based on a model of the required system. Finite state machines (FSMs) are widely used as models for systems in several domains. Validating that a model accurately represents the required behaviour involves the generation and execution of a large number of input sequences, which is often an expensive and time-consuming process. In this paper, we speed up the execution of input sequences for FSM validation, by leveraging the high degree of parallelism of modern graphics processing units (GPUs) for the automatic execution of FSM input sequences in parallel on the GPU threads. We expand our existing work by providing techniques that improve the performance and scalability of this approach. We conduct extensive empirical evaluation using 15 large FSMs from the networking domain and measure GPU speed-up over a 16-core CPU, taking into account total GPU time, which includes both data transfer and kernel execution time. We found that GPUs execute FSM input sequences up to 9.28Â faster than a 16-core CPU, with an average speed-up of 4.53Â across all subjects. Our optimizations achieve an average improvement over existing work of 58.95% for speed-up and scalability to large FSMs with over 2K states and 500K transitions. We also found that techniques aimed at reducing the number of required input sequences for large FSMs with high density were ineffective when applied to all-transition pair coverage, thus emphasizing the need for approaches like ours that speed up input execution.

show abstract

“…Sanal olarak ortaya çıkan görüntüler, bilinçaltımızı zorlayarak algılarımız üzerinden sanat eserlerini okumamızı zorlaştırmaktadır. 217 Bir taraftan da sanatçıların yapıbozumu eserlerinde kullanmaları, bakış açılarını genişleterek farklı eserlerin üretilmesini sağlamıştır. Feminist hareketlerin sonucunda eserlerinde yapıbozumu kullanan kadın sanatçıların görünürlüğü artarken, farklı çevrelerden gelen sanatçıların da eserlerinde yapıbozumu kullanmaları bu sanatçıların da alana dahil edilmesini sağlamıştır.…”

Section: Tartişma Ve Sonuçunclassified

From Post modern art upto Contemporary Art Deconstruction of Human Bodies

Büyükparmaksiz

2021

Sanat Tarihi Dergisi

View full text Add to dashboard Cite

Modernizm sonrası Avangard akımlar tarafından oluşan sorgulama hali, sanat kavramlarına ilişkin eleştirel üretimleri yapıbozumcu bir dil üzerine oturtmuştur. Postyapısalcılığın bir sonucu olarak ortaya çıkan yapıbozum, göstergeleri sorgulayarak mevcut yapının degiştirilmesi suretiyle dil anlayışında köklü değişiklikler ortaya çıkarmıştır. Bu bağlamda araştırmanın amacı; çok katmanlı eserler üreten çağımız sanatçılarının, bedene olan yapıbozumcu tavırdaki yaklaşımlarının neler olduğunu, yapıbozum kavramının sanatçı ve eser üzerindeki etkisini ve postmodern sanata ve güncel sanata yansımalarını orta çıkararak bu eserlerin anlaşılmasını sağlamaktır. Günümüzde bu kavramların anlaşılabilmesi, yapıbozumu çalışmalarında kullanan sanatçıların eserlerinin ele alınmasına bağlıdır. Konuyla ilgili literatür taranmış, bununla birlikte yapıbozum olduğu düşünülen çalışmalar incelenerek yorumlanmıştır. Araştırmada nitel veri analizi yöntemi olan "Betimsel Tarama" kullanılmış ve çalışmalar yedi ana başlık altında toplanarak değerlendirilmiştir. Bu araştırma, yapıbozuma uğrayan bedenlerin günümüz sanatının anlaşılmasını sağlaması açısından önemli görülmektedir. Sonuç olarak günümüz sanatçıları, biçimin bozulmasını, farklı göstergelerle seyirciyi irkilten çalışmalarla ortaya koymuşlardır. Gelişen teknoloji sayesinde sanatçılar, dikkat çekmek istenilen düşünceyi bazen fotoğrafla, bazen video sanatı ile grafiklerle, bedeni dönüştürerek, bedene ekleme ve çıkarmalar yaparak farklı tekniklerle yapıbozuma uğratmışlardır.

show abstract

Minimizing Characterizing Sets

Cited by 3 publications

References 40 publications

Minimizing Characterizing sets

Minimizing Characterizing sets

GPU acceleration of finite state machine input execution: Improving scale and performance

From Post modern art upto Contemporary Art Deconstruction of Human Bodies

Contact Info

Product

Resources

About