-
综合
- All
- Ann. N. Y. Acad. Sci.
- Appl. Soft Comput.
- Arab. J. Sci. Eng.
- arXiv.cs.CC
- arXiv.cs.CE
- arXiv.cs.ET
- arXiv.cs.GL
- arXiv.cs.GT
- arXiv.cs.LO
- arXiv.cs.OH
- Big Data Res.
- Comput. Commun.
- Comput. J.
- Comput. Math. Organ. Theory
- Computer
- Computing
- Connect. Sci.
- Digit. Signal Process.
- Distrib. Comput.
- Front. Comput. Sci.
- Front. Inform. Technol. Electron. Eng.
- IEEE Commun. Lett.
- IEEE Micro
- IEEE Open J. Comput. Soc.
- IEEE Pervasive Comput.
- IEEE T. Evolut. Comput.
- IEEE Trans. Cloud Comput.
- IEEE Trans. Comput.
- IEEE Trans. Emerg. Top. Comput.
- IEEE Trans. Haptics
- IEEE Trans. Mob. Comput.
- Inform. Spektrum
- Inform. Syst.
- Int. J. Comput. Sci. Eng.
- Int. J. Inf. Technol.
- J. Adv. Res.
- J. Big Data
- J. Cloud Comp.
- J. Comput. Lang.
- J. Comput. Syst. Sci.
- J. Grid Comput.
- J. Supercomput.
- J. Syst. Eng. Electron.
- New Gener. Comput.
- Pattern Recogn. Lett.
- Pervasive Mob. Comput.
- Sci. Comput. Program.
- Sci. Progess
- Theor. Comput. Sci.
- Theory Comput. Syst.
- Theory Pract. Log. Program.
-
人工智能
- All
- Adapt. Behav.
- Adv. Robot.
- AI EDAM
- Ann. Math. Artif. Intel.
- Appl. Artif. Intell.
- Appl. Intell.
- Artif. Intell.
- Artif. Intell. Med.
- Artif. Intell. Rev.
- arXiv.cs.AI
- arXiv.cs.CV
- arXiv.cs.LG
- arXiv.cs.NE
- Auton. Agent. Multi-Agent Syst.
- Auton. Robot.
- Behav. Inf. Technol.
- Cogn. Syst. Res.
- Cognit. Comput.
- Comput. Hum. Behav.
- Comput. Intell.
- Comput. Speech Lang
- Cryptologia
- Eng. Appl. Artif. Intell.
- Entertain. Comput.
- Genet. Program. Evolvable Mach.
- Hum. Comput. Interact.
- IEEE Comput. Intell. Mag.
- IEEE Intell. Syst.
- IEEE Open J. Ind. Appl. Electron. Soc.
- IEEE Open J. Intell. Transp. Syst.
- IEEE Trans. Affect. Comput.
- IEEE Trans. Cogn. Dev. Syst.
- IEEE Trans. Fuzzy Syst.
- IEEE Trans. Knowl. Data. Eng.
- IEEE Trans. Neural Netw. Learn. Syst.
- IEEE Trans. Pattern Anal. Mach. Intell.
- Inform. Sci.
- Int. J. Approx. Reason.
- Int. J. Doc. Anal. Recognit.
- Int. J. Fuzzy Syst.
- Int. J. Hum. Comput. Interact.
- Int. J. Hum. Comput. Stud.
- Int. J. Intell. Robot. Appl.
- Int. J. Intell. Syst.
- Int. J. Mach. Learn. & Cyber.
- Intel. Serv. Robotics
- J. Ambient Intell. Human. Comput.
- J. Autom. Reason.
- J. Exp. Theor. Artif. Intell.
- J. Heuristics
- J. Intell. Inf. Syst.
- J. Intell. Manuf.
- J. Intell. Robot. Syst.
- J. Log. Lang. Inf.
- J. Sched.
- Knowl. Based Syst.
- Knowl. Eng. Rev.
- Mach. Learn.
- Memetic Comp.
- Minds Mach.
- Nat. Comput.
- Nat. Mach. Intell.
- Netw. Comput. Neural. Syst.
- Neural Comput. & Applic.
- Neurocomputing
- Neuroinformatics
- Optim. Control Appl. Methods
- Pattern Anal. Applic.
- Pattern Recogn.
- Rob. Auton. Syst.
- Robotica
- Sci. Robot.
-
软件
- All
- Adv. Eng. Softw.
- Algorithmica
- arXiv.cs.DB
- arXiv.cs.DL
- arXiv.cs.IR
- arXiv.cs.MS
- arXiv.cs.OS
- arXiv.cs.PL
- arXiv.cs.SE
- Automat. Softw. Eng.
- Cluster Comput.
- Comput. Aided Des.
- Comput. Aided Geom. Des.
- Comput. Geosci.
- Comput. Graph.
- Comput. Math. Appl.
- Comput. Phys. Commun.
- Comput. Stand. Interfaces
- Concurr. Comput. Pract. Exp.
- CSI Trans. ICT
- Des. Autom. Embed. Syst.
- Empir. Software Eng.
- Entertain. Comput.
- Environ. Model. Softw.
- Form. Asp. Comput.
- Genet. Program. Evolvable Mach.
- IEEE Embed. Syst. Lett.
- IEEE Internet Comput.
- IEEE Softw.
- IEEE Trans. Netural Syst. Rehabil. Eng.
- IEEE Trans. Softw. Eng.
- IET Biom.
- IET Softw.
- Inf. Retrieval J.
- Inf. Softw. Technol.
- Int. J. Comput. Integr. Manuf.
- J. Comput. Sci. Tech.
- J. Funct. Program.
- J. Log. Algebr. Methods Program.
- J. Softw. Evol. Process
- J. Syst. Archit.
- J. Syst. Softw.
- J. Web Semant.
- Knowl. Inf. Syst.
- Math. Comput. Simul.
- Mobile Netw. Appl.
- Multimed. Tools Appl.
- Optim. Control Appl. Methods
- Optim. Methods Softw.
- Peer-to-Peer Netw. Appl.
- Program. Comput. Softw.
- Requirements Eng.
- SICS Softw.-Inensiv. Cyber-Phys. Syst.
- Simul. Model. Pract. Theory
- Simulation
- Softw. Pract. Exp.
- Softw. Syst. Model.
- Softw. Test. Verif. Reliab.
- Software Qual. J.
- Sustain. Comput. Inform. Syst.
- Virtual Real.
- Vis. Comput.
- World Wide Web
-
系统结构
- All
- arXiv.cs.CR
- arXiv.cs.DC
- arXiv.cs.MA
- arXiv.cs.NI
- arXiv.cs.PF
- arXiv.cs.SI
- arXiv.cs.SY
- Comput. Oper. Res.
- Comput. Secur.
- Comput. Stand. Interfaces
- Comput. Struct.
- Form. Methods Syst. Des.
- Future Gener. Comput. Syst.
- IEEE ACM Trans. Netw.
- IEEE Comput. Archit. Lett.
- IEEE Trans. Cybern.
- IEEE Trans. Netw. Serv. Manag.
- IEEE Trans. Parallel Distrib. Syst.
- IEEE Trans. Very Larg. Scale Integr. Syst.
- J. Comput. Inform. Syst.
- J. Netw. Comput. Appl.
- J. Parallel Distrib. Comput.
- J. Web Semant.
- Knowl. Inf. Syst.
- Microprocess. Microsyst.
- Mobile Netw. Appl.
- Peer-to-Peer Netw. Appl.
- Perform. Eval.
- Pers. Ubiquitous Comput.
- Simul. Model. Pract. Theory
-
工程
- All
- Algorithmica
- arXiv.cs.AR
- Auton. Agent. Multi-Agent Syst.
- Comput. Complex.
- Comput. Geotech.
- Comput. Graph.
- Comput. Ind. Eng.
- Comput. Mech.
- Comput. Oper. Res.
- Des. Autom. Embed. Syst.
- Entertain. Comput.
- Genet. Program. Evolvable Mach.
- IEEE Trans. Comput. Imaging
- IEEE Trans. Educ.
- IEEE Trans. Netural Syst. Rehabil. Eng.
- Image Vis. Comput.
- Inf. Softw. Technol.
- J. Softw. Evol. Process
- Math. Control Signals Syst.
- Queueing Syst.
- Sci. Robot.
- Sustain. Comput. Inform. Syst.
- Univ. Access Inf. Soc.
-
应用
- All
- Adv. Data Anal. Classif.
- Appl. Algebra Eng. Commun. Comput.
- Appl. Categor. Struct.
- arXiv.cs.CL
- arXiv.cs.FL
- arXiv.cs.GR
- arXiv.cs.HC
- arXiv.cs.IR
- arXiv.cs.MM
- arXiv.cs.SD
- Cluster Comput.
- Comput. Aided Civ. Infrastruct. Eng.
- Comput. Animat. Virtual Worlds
- Comput. Assist. Lang. Learn.
- Comput. Assist. Surg.
- Comput. Biol. Med.
- Comput. Geosci.
- Comput. Geosci.
- Comput. Geotech.
- Comput. Graph. Forum
- Comput. Ind.
- Comput. Mech.
- Comput. Supported Coop. Work
- Comput. Vis. Image Underst.
- Concurr. Eng.
- Cryptogr. Commun.
- CSI Trans. ICT
- Cybersecurity
- Data Min. Knowl. Discov.
- EURASIP J. Image Video Process.
- Finite Elem. Anal. Des.
- Graph. Models
- IEEE Comput. Graph. Appl.
- IEEE Multimed.
- IEEE Trans. Comput.-Aided Design Integr. Circuits Syst.
- IEEE Trans. Image Process.
- IEEE Trans. Multimedia
- IEEE Trans. Vis. Comput. Graph.
- IET Biom.
- IET Image Process.
- Image Vis. Comput.
- Int. J. Comput. Integr. Manuf.
- Int. J. Comput. Vis.
- Int. J. High Perform. Comput. Appl.
- Int. J. Med. Inform.
- Int. J. Soc. Robotics
- J. Comput. Mediat. Commun.
- J. Inf. Secur. Appl.
- J. Vis.
- Mach. Vis. Appl.
- Math. Struct. Comput. Sci.
- Med. Biol. Eng. Comput.
- Multibody Syst. Dyn.
- Multimed. Tools Appl.
- Multimedia Syst.
- Scientometrics
- SICS Softw.-Inensiv. Cyber-Phys. Syst.
- Simulation
-
其他
- All
- arXiv.cs.CG
- arXiv.cs.CY
- arXiv.cs.DM
- arXiv.cs.DS
- arXiv.cs.IT
- arXiv.cs.NA
- arXiv.cs.RO
- arXiv.cs.SC
- Biol. Cybern.
- Biom. J.
- Biometrics
- Can. J. Electr. Comput. Eng.
- Comput. Educ.
- Comput. Electr. Eng.
- Comput. Environ. Urban Syst.
- Comput. Law Secur. Rev.
- Comput. Methods Programs Biomed.
- Comput. Netw.
- Comput. Stat.
- Constraints
- Cybern. Syst.
- Database J. Biol. Databases Curation
- Design Stud.
- Digit. Investig.
- Discret. Comput. Geom.
- Discrete Event Dyn. Syst.
- Distrib. Parallel. Databases
- Dokl. Math.
- Educ. Inf. Technol.
- EPJ Data Sci.
- Fuzzy Optim. Decis. Making
- Hum. Cent. Comput. Inf. Sci.
- IEEE Ann. Hist. Comput.
- IEEE Trans. Reliab.
- IEEE Trans. Serv. Comput.
- IEEE/OSA J. Opt. Commun. Netw.
- IETE Tech. Rev.
- Inf. Syst. Front.
- Int. J. CARS
- Int. J. Commun. Syst.
- Int. J. Control
- Int. J. Parallel. Program
- Int. J. RF Microw. Comput.-Aided Eng.
- Int. J. Syst. Sci.
- Interact. Comput.
- Interdiscip. Sci. Comput. Life Sci.
- J. Comput. Phys.
- J. Cryptol.
- J. Inf. Sci.
- J. Log. Comput.
- J. Mol. Graph. Model.
- J. Multimodal User Interfaces
- J. Netw. Syst. Manag.
- J. Strategic Inf. Syst.
- J. Symb. Comput.
- J. Visual Commun. Image Represent.
- Math. Meth. Oper. Res.
- Networks
- Parallel Comput.
- Random Struct. Algorithms
- Stat. Model.
- Symmetry
- Telecommun. Syst.
- WIREs Data Mining Knowl. Discov.
Go to
current issue
-
Issue Information Softw. Test. Verif. Reliab. (IF 1.171) Pub Date : 2020-04-17
No abstract is available for this article.
-
Search‐based crash reproduction using behavioural model seeding Softw. Test. Verif. Reliab. (IF 1.171) Pub Date : 2020-04-12 Pouria Derakhshanfar; Xavier Devroey; Gilles Perrouin; Andy Zaidman; Arie van Deursen
-
A verified and optimized Stream X‐Machine testing method, with application to cloud service certification Softw. Test. Verif. Reliab. (IF 1.171) Pub Date : 2020-02-18 Anthony J. H. Simons; Raluca Lefticaru
-
Complexity vulnerability analysis using symbolic execution Softw. Test. Verif. Reliab. (IF 1.171) Pub Date : 2020-02-06 Kasper Luckow; Rody Kersten; Corina Pasareanu
-
Performance mutation testing Softw. Test. Verif. Reliab. (IF 1.171) Pub Date : 2020-01-29 Pedro Delgado‐Pérez; Ana Belén Sánchez; Sergio Segura; Inmaculada Medina‐Bulo
-
Model‐based testing of Apache ZooKeeper: Fundamental API usage and watchers Softw. Test. Verif. Reliab. (IF 1.171) Pub Date : 2019-12-02 Cyrille Artho; Kazuaki Banzai; Quentin Gros; Guillaume Rousset; Lei Ma; Takashi Kitamura; Masami Hagiya; Yoshinori Tanabe; Mitsuharu Yamamoto
-
DEMINER: test generation for high test coverage through mutant exploration Softw. Test. Verif. Reliab. (IF 1.171) Pub Date : 2019-10-28 Yunho Kim; Shin Hong
Contents have been reproduced by permission of the publishers.
全部期刊列表>>
友情链接：
京公网安备 11010802027423号