Výsledky vyhledávání - "Andrade, Wilkerson L."

Publikováno v: Formal Methods: Foundations & Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings; 2015, p48-63, 16p

Zobrazit plný text záznamu

Vybrat výsledek číslo 9 9

Conference

Comparing Model-Based Testing with Traditional Testing Strategies: An Empirical Study.

Autor: Marques, Arthur, Ramalho, Franklin, Andrade, Wilkerson L.

Publikováno v: 2014 IEEE Seventh International Conference on Software Testing, Verification & Validation Workshops; 2014, p264-273, 10p

Zobrazit plný text záznamu

Vybrat výsledek číslo 10 10

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat vše | Vybrané výsledky:

1
2
3
Další »
[3]

Vyhledávací nástroje:

RSS
Poslat e-mailem

Upřesnit hledání

Omezení vyhledávání

Plný text Recenzováno Digitální knihovna AV ČR

Zdroje

Pouze tištěné dokumenty

Zahrnout EIZ

16 Akademické články
4 Konferenční materiály
3 Knihy

6 model-based testing
6 real-time systems
5 electronic systems
4 automata
4 formal methods
4 symbolic execution
4 test case generation
4 testing strategies
3 clocks
3 component testing
3 computer software development
3 computer software research
3 cost accounting
3 data models
3 embedded computer systems
3 real-time computing
3 semantics
3 software testing
3 systems software
3 testing
3 uml
2 characteristic functions
2 computational thinking
2 computer programmers
2 educational robotics
2 geometrical drawing
2 graphic methods
2 intranets (computer networks)
2 real-time systems and embedded systems
1 active learning
1 agile development
1 agile software development
1 android
1 android (operating system)
1 burglar alarms
1 checking
1 cognitive psychology
1 computer simulation
1 computer software testing
1 conformance testing
1 cost effectiveness
1 coverage criteria
1 critical thinking
1 distance education
1 education
1 empirical research
1 everyday life
1 exploratory testing
1 fault tolerance (engineering)
1 generation

6 ieee
3 sociedade brasileira de computacao (sbc)
3 springer nature
2 world scientific publishing company
1 association for computing machinery
1 elsevier b.v.
1 elsevier science bv
1 ieee computer soc
1 informatics in education
1 springer
1 springer heidelberg
1 vilniaus universiteto leidykla
1 vilnius university press
1 world scientific publ co pte ltd

4 ieee transactions on software engineering
2 2016 ieee frontiers in education conference (fie)
2 formal methods: foundations & applications
2 international journal of software engineering & knowledge engineering
2 journal of software engineering research & development
2 science of computer programming
1 2014 ieee seventh international conference on software testing, verification & validation workshops
1 formal aspects of computing
1 formal methods: foundations & applications 17th brazilian symposium, sbmf 2014, maceio, al, brazil, september 29--october 1, 2014. proceedings
1 informatics in education
1 informatics in education - an international journal
1 international journal of software engineering and knowledge engineering
1 international journal on software tools for technology transfer
1 journal of the brazilian computer society
1 proceedings of the 2008 acm symposium: applied computing

13 Complementary Index
5 Science Citation Index Expanded
2 Business Source Ultimate
2 Academic Search Ultimate
1 Central and Eastern European Online Library (CEEOL)

Od:

do:

Možnosti vyhledávání

Tematická mapa
Historie vyhledávání
Pokročilé vyhledávání

Objevte více

Abecední procházení

Hledáte pomoc?

Tipy pro vyhledávání

načítá se......